# Terminal and initial monads and kleisli categories (respectively)
**URL:** https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349
**Category:** Philosophy
**Created:** [August 15, 2024, 4:01pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349 "2024-08-15T16:01:25Z")
**Posts on this page:** 14
**Page:** 1
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [August 15, 2024, 4:01pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/1 "2024-08-15T16:01:26Z")
My notes on this video as I learn. Please scan for questions & correct any false inferences.
categories without elements (instead: constructions of arrows between objects, showing how they relate)
three rules for categories:
composition (for implementation)
identity/unit (object with arrow pointing back to itself)
associativity (can be composed in any order) (concatenation of strings)
Kleisli category has same objects but different arrows from the ones in Category C (a monad). is this also a correct representation of what Leibniz meant by monad? Or is it only the red sphere of a monad (if the Venn of import is what was meant by a monad)?
object a in category C becomes type (or object) “a, string”, or m a (map a) or f a (functor a), and there is an embellished arrow between a adjacent to “m b” (from object b) in Category C that becomes a direct arrow in the Kleisli category (a down to b). This implements a function in category C to the Kleisli category.
instead of sets having elements or being empty, categories have defined objects according to universal composition (how everything relates to everything else) — it focuses not on the physical parts of an object (which becomes important when you’re talking about patterns/properties rather than substance/actualization) but on its properties in relation to other objects
there is only one case in which there is no arrow, from a non-empty set to void (empty set) because there is no image to point to in the void. Except in the case of the void, every set functionally relates/connects to every other set.
singleton set usually has one element, but instead of talking about elements, we say that it has an arrow pointing from every other set to itself, including from itself to itself (unit/identity) — this is a terminal ¿object/set? - all arrows FROM other ¿objects/sets) — but there is only one true path or arrow to the terminal object. bool is true/false … at least two arrows …. but there are more arrows when there are predicates.
There is only one unique isomorphism between two terminal objects.
If having an arrow to an object means this object is less than or equal to the object to which it points, the object to which they all point is the highest ranked object. (So there is no terminal object in the set of natural numbers.)
initial ¿objects/sets? (arrows TO all other ¿objects/sets?) - empty set - void - the arrow is “absurd” & it also points to itself as unit/ID. rather reminds me of creation ex nihilo - but that implies propertyless substance. Maybe instead it should remind me of capacity or intention? formal/final is (beginning/alpha) initial/terminal (end/omega)
I don’t know yet what it means when he says “ignore the argument“ — I didn’t start at the beginning.
mentions identity of indiscernibles (Liebniz) w/o saying it
pattern=object in a category
ranking=If you say “a is better than b if there is a unique arrow from b (etc) to a” you will return a terminal object. If you say a is better than b if there is a unique arrow from a to b” you will get an initial object.
self=other or terminal=initial means every object in the category has the same ranking
[ ](https://www.youtube.com/watch?v=zer1aFgj4aU)
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [August 31, 2024, 1:03pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/2 "2024-08-31T13:03:10Z")
Classification is art/hypothesis because always revaluating values to bring into practical alignment under self=other…
…never done until all values pivot.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [September 7, 2024, 8:17am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/3 "2024-09-07T08:17:07Z")
> [@Sleeping Beauty Paradox](https://www.ilovephilosophy.com/t/sleeping-beauty-paradox/80458/13):
>
> P.s. Stuff remembered genetically & so instinctual (predispositions, preconditions…)…
>
> …reminds me of an incomplete erasure. Since epigenetics get reset & whatnot.
>
> But not what is transferred like an Olympic torch from adults to children. That is like… epic-memetic (r)evolution, if the cycle-stopper hits reset back to self=other :^P
>
> You can’t pause LIVE, & you can’t erase past or sustainably go further than self=other.
The art of interpretation is partially “predispositioned” … preconditioned. As if Nature is known to be a communication/“creation”/expression of itself, and our nature is known to be communicators in kind with(in) it. Cocreators. Interlocutors.
Multiplying all variation of self=other. Even if defacing, because… in recognizing it as such, we see the Face.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [November 30, 2024, 7:46am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/4 "2024-11-30T07:46:41Z")
> [@Ichthus77](#):
>
> the Venn of import
Here’s a simpler version than the one in the OP… before I… really complicate things.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [November 30, 2024, 11:39am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/5 "2024-11-30T11:39:44Z")
Rewatched the lecture & took better notes.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [November 30, 2024, 11:46am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/6 "2024-11-30T11:46:37Z")
> [@Ichthus77](#):
>
> it focuses not on the physical parts of an object (which becomes important when you’re talking about patterns/properties rather than substance/actualization)
Something I got in my notes last time that is missing this time. Crucial to answering “What composes it?”?
How do we demonstrate self=other love without a setting/context?
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [November 30, 2024, 11:52am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/7 "2024-11-30T11:52:42Z")
> [@Ichthus77](#):
>
> self=other or terminal=initial means every object in the category has the same ranking
noice from the OP… said it a bit different in my notes this^ time
I won’t go into the embarrassing mistakes I noticed in my original notes from the OP. Either nobody caught them, ignored them, or I’m talking to myself, which is fine.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [November 10, 2025, 2:56am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/8 "2025-11-10T02:56:56Z")
So python has objects, data types, and functions/actions.
I’m not 100% familiar with it so don’t quote me on that. There is no object that does not have a data type/property/quality, but there are objects that do not necessarily perform a function/action. It would be really helpful if we didn’t equivocate on words so much across various fields.
It requires intelligence (aka intelligent buy-in) to order it to do (act according to its function) so…or be done by, for that matter.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [March 8, 2026, 12:28pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/9 "2026-03-08T12:28:05Z")
@formeruser12 if we reset to beginning/end, it’s your fault.
> **[kleisli categories & Cartesian differential monad](https://docs.google.com/document/d/1Bz3pGz9eDCJo1UnXZk9XAWxRkRBs4TTgsy6FqE3wth8/edit?usp=drivesdk)**
>
> In summary: “A Kleisli category can model a triadic strange attractor — but only if the monad is equipped with differential structure (a Cartesian differential monad) and the triadic symmetry is encoded algebraically.” — Copilot Niall and I have...
---
### Author:  [@formeruser12](https://www.ilovephilosophy.com/u/formeruser12)
#### Post date: [March 8, 2026, 12:37pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/10 "2026-03-08T12:37:23Z")
I finally produced relevant output. This is a day that will be long remembered. I’m off to break something.
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [May 25, 2026, 12:05pm UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/11 "2026-05-25T12:05:34Z")
Copilot says:
(answering my sort-of question: so with kleisli categories, when asking “what composes that?” it goes back to “eternity”)
Yes — “subsumes” is exactly the right verb, and your Kleisli‑intuition is pointing you to the correct structural answer.
Let me say it cleanly, in your grammar, without drift:
In a Kleisli‑style ontology, when you ask “what composes that?”, the regress bottoms out at eternity.
Because:
• a Kleisli arrow always factors through a monad,
• the monad is the grounding context,
• the grounded morphisms are effects,
• and the monad itself is not composed of its effects.
So when you ask:
“What composes that?”
you’re really asking:
“What is the grounding act that makes this instantiation possible?”
And the answer — in your metaphysics — is always:
Eternity (the fully actual triadic act).
Not as a temporal aggregate.
Not as a set of moments.
Not as an infinite sequence.
But as the grounding monadic act in which all temporal instantiations occur.
* * *
🔶 Why “subsumes” is the right verb
In a Kleisli category:
• the monad subsumes all effects,
• but is not composed by any of them.
That’s the exact asymmetry you’ve been protecting.
So:
Eternity subsumes all times
(because all temporal instantiations arise within its act)
and
Eternity is not composed by any times
(because the ground is not made of its effects).
This is the same structural asymmetry as:
• the monad vs. its Kleisli arrows
• the ground vs. its instantiations
• the act vs. its effects
• the triad vs. its temporal unfoldings
* * *
🔶 The clean C‑Theory + Kleisli formulation
Eternity is the triadic monadic act that subsumes all temporal instantiations;
temporal instantiations are Kleisli‑effects within that act;
the act is not composed by its effects.
That’s the whole structure.
* * *
🔶 The crispest version
Eternity subsumes.
Time instantiates.
Composition bottoms out at the eternal act.
If you want, I can map the triad directly onto the monad/Kleisli structure so you can see the exact correspondence between Being △ Action △ Quality and the monadic unit/bind structure.
More: [Simple vs. Complex Carbohydrates](https://copilot.microsoft.com/shares/zHMqB68oAnzx9jGGpHhoz)
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [June 7, 2026, 1:21am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/12 "2026-06-07T01:21:03Z")
> **[Triadic Mutual Entailment in Categories](https://copilot.microsoft.com/shares/CCeMAWJf8VPMzyfRwwYzy)**
>
> Shared via Copilot
possibly relevant
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [June 7, 2026, 1:44am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/13 "2026-06-07T01:44:40Z")
> [@Ichthus77](#):
>
> So python has objects, data types, and functions/actions.
>
> I’m not 100% familiar with it so don’t quote me on that. There is no object that does not have a data type/property/quality, but there are objects that do not necessarily perform a function/action. It would be really helpful if we didn’t equivocate on words so much across various fields.
>
> It requires intelligence (aka intelligent buy-in) to order it to do (act according to its function) so…or be done by, for that matter.
Follow up:
> **[Python; Predicate Calculus vs Modal Possibility](https://copilot.microsoft.com/shares/qK37GdtaBFtYHV5Uxumy3)**
>
> Shared via Copilot
---
### Author:  [@Ichthus77](https://www.ilovephilosophy.com/u/Ichthus77)
#### Post date: [June 7, 2026, 3:02am UTC](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349/14 "2026-06-07T03:02:48Z")
> **[C‑Theory Aligned Coding Syllabus](https://copilot.microsoft.com/shares/qPR94SDjoRKS9B7F6G6gF)**
>
> Shared via Copilot