| ▲ | ultimatefan1 4 hours ago | |
this has a real "a monad is a monoid in the category of endofunctors" energy to it | ||
| ▲ | paulluuk 4 hours ago | parent [-] | |
> To understand actegories, let’s start with the definition of a monoidal category Definitely not written for someone with my starting knowledge, haha. | ||