# 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:** 1
**Showing post:** 8

<div class="post-metadata">

### Author: ![Ichthus77](https://www.ilovephilosophy.com/user_avatar/www.ilovephilosophy.com/ichthus77/32/446_2.png) [@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")

</div>

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.

---

_[View the full topic](https://www.ilovephilosophy.com/t/terminal-and-initial-monads-and-kleisli-categories-respectively/80349)._