News for hackers. Stuff that matters.

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

Re:A monad is a monoid in the category of endofunctors, what... by SatvikBeri on Sunday February 10, 2019 @03:53PM (#19129965)
Yup, and I think it's actually a completely rigorous definition – all rings are commutative groups under one operation (often referred to as "addition"), plus another operation ("multiplication"), plus rules for how they interact.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by zozbot123 on Sunday February 10, 2019 @04:00PM (#19130000)
The point of the category-theoretical definition is to explain how these "rules for how they interact" might arise, and in what sense these might be understood as 'minimal' rules. These are not "equivalent" definitions in any real sense, and to think of them as such is arguably missing the whole point of how category theory can be useful here.
[ Parent | on HN ]