A monad is a monoid in the category of endofunctors, what’s the problem?

Re:A monad is a monoid in the category of endofunctors, what... by ginnungagap on Sunday February 10, 2019 @03:08PM (#19129690)

A similar "joke" in mathematics is that "a sheaf of groups is just a group of sheaves" (meaning that a sheaf of groups on a topological space X is a group object in the category of sheaves of sets on X)

[ Parent | on HN ]

Re:A monad is a monoid in the category of endofunctors, what... by tprice7 on Sunday February 10, 2019 @04:18PM (#19130097)

Here's a fun puzzle: concretely, what is a group of groups?

[ Parent | on HN ]

Re:A monad is a monoid in the category of endofunctors, what... by ginnungagap on Sunday February 10, 2019 @04:33PM (#19130187)

An Abelian group

[ Parent | on HN ]