Category Theory II 8.1: F-Algebras, Lambek's lemmaSee more
Category Theory: An Introduction to Abstract NonsenseSee more
Category Theory II 7.1: ComonadsSee more
Category Theory III 7.2, CoendsSee more
A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2See more
