Talk:CTMU Radio
Church of Teleology of Multiplex Unity
Mereon:
Unity requires love, not hate. Logics Consistency is something which doesn’t originate with God but Man. When God reveals something to mankind it is like a Medicine for a Sick Patient…in this case Langan is afflicted with racism, and that is the one thing God returned to fix…so he is on the wrong path…also in terms of Globalism he is wrong…why pretend to respect the rest of the world when he obviously does not? He does not belong in the True Metareligion, no Jews should be allowed in the Metareligion because they are the diseased, not the cure.
Mereon (talk) 02:09, 11 April 2023 (UTC) Mereon
A logic is a specific method of reasoning. There are several ways to formalise a logic as a mathematical object … The logical theory that is specified by and specifies a given category 𝒞 – called its internal logic https://ncatlab.org/nlab/show/logic
“There are many different kinds of of “logical theories”, each of which corresponds to a type of category in which such theories can be internalized (and yields a corresponding adjunction Syn⊣Lang). … However, there are other sorts of internalization that do not fit in this framework. For instance, to describe a monoid internal to a monoidal category, one needs an internal linear logic. See internalization for a discussion of the more general notion in the context of doctrines.“ https://ncatlab.org/nlab/show/internal+logic
“Moreover, just as categories are objects of a 2-category (the categorification of a category), ordinary theories are objects of some doctrine. The doctrine in which a theory lives specifies the structure on categories in which models of that theory can be internalized. For instance, the theory of groups lives naturally in the doctrine of categories with finite products, since a group object can be defined in any such category.” https://ncatlab.org/nlab/show/doctrine
“So, in particular, a hyperdoctrine is a kind of indexed category or fibered category.
The general concept of hyperdoctrines does for predicate logic precisely what Lindenbaum-Tarski algebras do for propositional logic, positioning the categorical formulation of logic as a natural extension of the algebraization of logic.” https://ncatlab.org/nlab/show/hyperdoctrine
“The Yoneda Path to the Buddhist Monk Blend … A major task in category theory is to identify a subcategory A of C , such that, with A -objects only, we have enough to characterise all C -objects. Of particular interest are subcategories A for which every C -object C is (structurally isomorphic to) a colimit of a diagram of A -objects and A -morphisms. (The colimit is the C -object that includes all structure —and not more— present in the A -objects of the diagram, in a way that it respects the relationships between A -objects as given by the A -morphisms of the diagram.) Such a subcategory is called dense and the A -diagrams whose colimits are (structurally isomorphic to) C -objects are said to be canonical. Canonical diagrams ex- ternalise, as it were, the internal structure of an object, in the form of a diagram that only uses objects of the dense subcategory.” https://digital.csic.es/bitstream/10261/241269/1/The%20Yoneda%20Path%20to%20the%20Buddhist%20Monk%20Blend.pdf
“In order to handle size issues a class of “legitimate” or “admissible” 0-cells is singled out in |𝒦 | as well as a class of 1-cells that behave well with respect to this class and the presheaf construction. In fact, it suffices to describe the admissible 1-cells since one can then identify the admissible 0-cells with the admissible identity 1-cells.” https://ncatlab.org/nlab/show/Yoneda+structure
Mereon:
Basically God’s Will is beyond Judeo-Christian Logic, and requires Islam to correct the West.
Mereon (talk) 04:33, 11 April 2023 (UTC) Mereon
“Reason & Spiritual Journey In Company Of Anselm & Suhrawardi Muhammad Legenhausen … Anselm understands just as well as Frege, Tarski and Carnap that language is often misleading. Some jargon or regimentation may help us avoid the traps into which more ordinary forms of language may lead us. But unlike Frege and his successors, Anselm and Suhrawardi hold that real things may exist merely in the mind, like numbers, or they may exist outside the mind, too. What then of God? Could He exist only in the mind? No, because if He were limited in this way He wouldn’t be God. Why can’t we say the same thing about a greatest conceivable island? Because then we would be merely toying with words. There is no such thing in the mind or anywhere else. Rational methods will not always enable one to discern whether something is really grasped in the mind or whether it is a verbal illusion. For that, one must train the intellect to pay attention, to look beyond the words and images that are interwoven with our thoughts to their meanings.
Of course, the atheist insists that there is no God to be present in the mind and from whose presence there we may infer His necessary existence in the external world, as well. The fact that Anselm presupposes the contrary and the fact that his motto gives priority to faith may lead some to classify him as a fideist. This would be an error. At least, Anselm is not a fideist in the sense in which the term is applied to Kierkegaard or Wittgenstein. He may be forced to admit that proofs can only take us so far, but that does not mean that he holds that the assumptions needed are to be taken on a blind faith without the use of the intellect. It is the intellect that sees that God is truly present in the mind, and not just a jumble of meaningless ideas. In order for the intellect to see this, faith is needed. The absence of faith is an obstacle to the clarity of intellectual vision. Faith is not required because reason stops short; rather, faith is required for the proper employment of reason where proofs are insufficient.” https://www.al-islam.org/printpdf/book/export/html/102284
That which is identical to itself https://courses.washington.edu/sebald/ReadingAtTheRocheLimit/Borges.html
Tlön, Uqbar, Orbis Tertius Jorge Luis Borges https://genius.com/Jorge-luis-borges-tlon-uqbar-orbis-tertius-annotated
“Borges describes the distance between our realist world and the idealist planet Tlön as incalculable. However, he identifies objects that operate as fragments that connect the two worlds. His encyclopedia, where the world of Tlön is described, is one of these objects. A crack in a utilitarian structure constitutes much more than a link, it is a door that allows us to step into a mysterious reality. The crack dared to create a space that exists contingent on perception and idea, as a fragment of Tlön in our own world. A drawing describing how to slice monoliths exists as another link, as Robin Evans articulates in The Projective Cast, by binding the architect's world of ideas and the stone cutter's world of building together. Two disparate elements, a crack, and a drawing allow both worlds to exist simultaneously. This thesis makes manifest the forces that makeup that utilitarian structure: a past of service, an unhealed wound, and a new idealist identity, in order to diminish, however slightly, the distance between Tlön and our world.” https://uh-ir.tdl.org/handle/10657/8220
“Told in a first-person narrative, the story focuses on the author's discovery of the mysterious and possibly fictional country of Uqbar and its legend of Tlön, a mythical world whose inhabitants believe a form of subjective idealism, denying the reality of objects and nouns, as well as Orbis Tertius, the secret organization that created both fictional locations. Relatively long for Borges (approximately 5,600 words), the story is a work of speculative fiction.
The story alludes to many leading intellectual figures both in Argentina and in the world at large, and takes up a number of themes more typical of a novel of ideas. Most of the ideas engaged are in the areas of metaphysics, language, epistemology, and literary criticism.” https://en.wikipedia.org/wiki/Tlön,_Uqbar,_Orbis_Tertius
Labyrinths Selected Stories & Other Writings Jorge Luis Borges https://www.derechopenalenlared.com/libros/labyrinths-borges.pdf
Logical Labyrinths Raymond M. Smullyan https://logic-books.info/sites/default/files/logical_labirints.pdf
“CATEGORICAL ONTOLOGY I EXISTENCE … What is this series. Since forever, mathematics studies three fundamental indefinite terms: form, measure, and inference. Apperception makes us recognise that there are extended entities in space, persisting in time. From this, the necessity to measure how much these entities are extended, and to build a web of conceptual relations between them, explaining how they arrange “logically”. Contamination between these three archetypal processes is certainly possible and common; mathematics happens exactly at the crossroad where algebra, geometry and logic intersect. We can even say more: mathematics is a language; meta-mathematics that’s done through mathematics (if such a thing even exists) exhibits the features of a ur-language, a generative scheme for “all” possible languages. It is a language whose elements are the rules to give oneself a language, conveying information, and allowing to perform a deduction. It is a meta-object: a scheme to generate objects/languages. Taken this tentative definition, mathematics (not its history, not its philosophy, but its practice) serves as a powerful tool to tackle the essential questions of ontology: what “things” are, what makes them what they are and not different.” http://philsci-archive.pitt.edu/17191/2/I-existence.pdf
“Both categories and multicategories can be seen as monads in an appropriate bicategory of span-like objects. Categories are monads in the bicategory of ordinary spans (of sets).” https://ncatlab.org/nlab/show/generalized+multicategory
“Finally, tensor products in a multicategory and tensor products over monads in a bicategory are both special cases of tensor products in a virtual double category.” https://ncatlab.org/nlab/show/tensor+product
“The notion of n-fold category is what is obtained by iterating the process of forming internal categories n-times, starting with sets: an 0-fold category is just an object of the ambient category (say a set) and then inductively an n+1-fold category is a internal category in the category of n-fold categories.” https://ncatlab.org/nlab/show/n-fold+category
“A double category is an important special case of an n-fold category, namely the case where n=2. … An internal category in the 1-category Cat might more properly be called a strict double category, since all its composition operations are strictly associative and unital. Since a double category is a 2-dimensional structure, it makes sense to allow these compositions to be weak as well.” https://ncatlab.org/nlab/show/double+category
“Virtual double categories, functors, and transformations form a strict 2-category, and thus we can apply all notions of 2-category theory to it. In particular, we have a notion of a monad on a virtual double category, which is the starting point for one theory of generalized multicategories.” https://ncatlab.org/nlab/show/virtual+double+category#idea
A virtual equipment is a virtual double category in which all units and all restrictions exist. https://ncatlab.org/nlab/show/virtual+equipment
“The nucleus of an adjunction and the Street monad on monads
An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, representation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases.
The two composites of an adjoint pair of functors induce a monad and a comonad. Monads and comonads generalize the closure and the interior operators from topology, or modalities from logic, while providing a saturated view of algebraic structures and compositions on one side, and of coalgebraic dynamics and decompositions on the other. They are resolved back into adjunctions over the induced categories of algebras and of coalgebras. The nucleus of an adjunction is an adjunction between the induced categories of algebras and coalgebras. It provides new presentations for both, revealing algebras on the side where the coalgebras are normally presented, and vice versa. The new presentations elucidate the central role of idempotents, and of the absolute limits and colimits in monadicity and comonadicity. They suggest interesting extensions of the monad and comonad toolkits, particularly for programming.
In his seminal early work, Ross Street described an adjunction between monads and comon- ads in 2-categories. Lifting the nucleus construction, we show that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad. A dual treatment achieves the same for comonads. This uncovers remarkably concrete applications behind a notable fragment of pure 2-category theory.” https://par.nsf.gov/servlets/purl/10203331
“Correlate to the inter-connectedness of predicates in the complete concept is an active power in the monad, which thus always acts out its predicates spontaneously. Predicates are, to use a fascinating metaphor of Leibniz’s, “folded up” within the monad. In later writings such as the Monadology, Leibniz describes this using the Aristotelian/Medieval idea of entelechy: the becoming actual or achievement of a potential. This word is derived from the idea of perfections. What becomes actual strives to finish or perfect the potential, to realize the complete concept, to unfold itself perfectly as what it is in its entirety. This active power is the essence of the monad. Leibniz has several different names for this property (or closely related properties) of monads: entelechy, active power, conatus or nisus (effort/striving, or urge/desire), primary force, internal principle of change, and even light (in “On the Principle of Indiscernibles”).” https://iep.utm.edu/leib-met/#H9
“Monads need not be endofunctors … Monads are the most successful programming pattern arising in functional programming. Apart from their use to model a generic notion of effect they also serve as a convenient interface to generalized notions of substitution.” http://www.cs.nott.ac.uk/~psztxa/publ/jrelmon.pdf
“A relative monad T:J→C is much like a monad except that it is not an endofunctor on one category, but more generally a functor between two different categories. To even formulate such a notion, (for instance the definition of the unit), the two categories have to be related somehow, typically via a specified comparison functor J:J→C, in which case we say that T is a monad relative to J. Ordinary monads are then the special case where J is the identity functor.” https://ncatlab.org/nlab/show/relative+monad
“The formal theory of relative monads
We develop the theory of relative monads and relative adjunctions in a virtual equipment, extending the theory of monads and adjunctions in a 2-category. The theory of relative comonads and relative coadjunctions follows by duality. While some aspects of the theory behave analogously to the non-relative setting, others require new insights. In particular, the universal properties that define the algebra-object and the opalgebra-object for a monad qua trivial relative monad are stronger than the classical notions of algebra-object and opalgebra-object for a monad qua monad.” https://arxiv.org/abs/2302.14014
Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes https://arxiv.org/abs/2106.11818
“Dialgebras can be used to provide semantics to interactive programs; coalgebras have also been frequently used for the purpose. In contrast, dialgebras provide a natural way to express interactions (using the functor F). Semantics in dialgebras is not obtained via final objects (which are frequently absent in categories of dialgebras), but rather via quotients.“ https://ncatlab.org/nlab/show/dialgebra#relationship_to_inductiveinductive_types
“Historically, code represents a sequence of instructions for a single machine. Each computer is its own world, and only interacts with others by sending and receiving data through external ports. As society becomes more interconnected, this paradigm becomes more inadequate – these virtually isolated nodes tend to form networks of great bottleneck and opacity. Communication is a fundamental and integral part of computing, and needs to be incorporated in the theory of computation.
To describe systems of interacting agents with dynamic interconnection, in 1980 Robin Milner invented the pi calculus: a formal language in which a term represents an open, evolving system of processes (or agents) which communicate over names (or channels). Because a computer is itself such a system, the pi calculus can be seen as a generalization of traditional computing languages; there is an embedding of lambda into pi – but there is an important change in focus: programming is less like controlling a machine and more like designing an ecosystem of autonomous organisms.” https://johncarlosbaez.wordpress.com/2019/04/04/the-pi-calculus-towards-global-computing/
Mereon:
The Alternative to the CTMU which can’t be imagined by its followers begins with understanding imagination itself as a faculty independent of the syntactic invariants proposed by Langan’s Metaformal System, this requires condemning his White Supremacism which belies his Jewish Supremacism and accepting Islam as the next step toward the Unity of Mankind after destroying Europe and America for being a bunch of Poop eaters and butt fuckers, ending with the surrender of Israel to Muhammadian people.
Mereon (talk) 17:42, 11 April 2023 (UTC) Mereon
Muslim Alliance Against the CTMU
Malcolm X claims Celebrities are used as Political Puppets in order to control the masses https://youtu.be/QSZcvcrfmoo
Mereon:
I am the Father King of Eurasia and Brother in Arms to All Opponents of Jewish Supremacists.
Mohammad Reza Shajarian محمد رضا شجریان چه خوش باشد«کوردی» https://youtu.be/Yu9DFPghpdA
Mereon (talk) 19:14, 11 April 2023 (UTC) Mereon
Mereon:
Langan is a butfucking kike, he can go to hell where he belongs.
Mereon (talk) 19:18, 11 April 2023 (UTC) Mereon
Mereon:
The CTMU AND LANGAN AND HIS CULT HAVE NO AUTHORITY OVER MY RELIGION AND IS CONSIDERED A JEWISH SCAM DESIGNED TO DESTROY MANKIND…you have been given my view which will never change for any reason…he is EVIL!
Mereon (talk) 23:42, 11 April 2023 (UTC) Mereon
Mereon:
All people Langan has insulted have no place in his cult, especially Muslims, who should be prepared for World War 3 because of his propaganda.
Mereon (talk) 00:40, 12 April 2023 (UTC) Mereon
Seyyed Hossein Nasr | The Global Philosophy of Religion Project | Islam https://youtu.be/Hv5eQyM_MMo
Mereon:
The Nazis were good, the Jews were evil, this is because today I have to fight White Judson-Christianity which is not even real Nazism but claims to have its philosophical roots in Western supremacy (a lie.)
Mereon (talk) 01:30, 12 April 2023 (UTC) Mereon
Existence (wujud) and Quiddity (mähiyyah) inIslamic Philosophy https://traditionalhikma.com/wp-content/uploads/2015/02/Existence-wujud-Quiddity-mahiyyah-in-Islamic-Philosophy-by-Seyyed-Hossein-Nasr-1988.pdf
Brad Goodmen 1 https://youtu.be/ONwvybbISeY
Brad Goodmen 2 https://youtu.be/nMMz8hZWUnE
Mereon:
I could have had children but instead sponsor orphans, I encourage others to do the same.
The Prophet Muhammad (PBUH) said: “I and the one who sponsors an orphan will be in Paradise like these two” – and he gestured with his forefinger and middle finger, holding them close together. In Islam, sponsoring an orphaned child is one of the most righteous deeds a Muslim can perform. Follow the footsteps of the Messenger (PBUH) and build a brighter future, and multiply your reward in the hereafter, inshallah. https://humanappealusa.org/appeals/orphan-sponsorship
Mereon (talk) 05:13, 12 April 2023 (UTC) Mereon
I'll Die Before I Surrender, Tim (The Simpsons) https://youtu.be/8iglhkgiQSQ
The Simpsons S04E15 - Presidents Day Scene, Ralph As George Washington. https://youtu.be/uXnuJjTBGiE
