An alternative to Hitler's thinking on monads

[timelets]

I don't know much about programming but mathematically the concept is quite beautiful. Overall, monoidal categories are a great way to model consistent processes. Kant would love it because it incorporates the notion of unity, which reason seeks to apply to the world.

"Category Theory 10.2: Monoid in the category of endofunctors" (Watch on YouTube)

Comments

[juan_gandhi]

Monoidal categories are a funny extension of the idea of categories to a lot of things. E.g. composition becomes the triangle inequality in a metric space. And the like.

[timelets]

More things to learn :)