3 ms·
As I've heard it explained, monads are simply monoids on the category of endofunctors, or something. (I know what monoids are in group theory, and have a vague
by thanatropism 8y ago
As I've heard it explained, monads are simply monoids on the category of endofunctors, or something.
(I know what monoids are in group theory, and have a vague glimpse that functors are maps between categories. I figure that endofunctors are functors from a category to itself; how they come to be their own category or how monoids even apply, well.)