logoalt Hacker News

ultimatefan1today at 12:49 PM1 replyview on HN

this has a real "a monad is a monoid in the category of endofunctors" energy to it


Replies

paulluuktoday at 12:50 PM

> To understand actegories, let’s start with the definition of a monoidal category

Definitely not written for someone with my starting knowledge, haha.