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)