this has a real "a monad is a monoid in the category of endofunctors" energy to it
> To understand actegories, let’s start with the definition of a monoidal category
Definitely not written for someone with my starting knowledge, haha.
> To understand actegories, let’s start with the definition of a monoidal category
Definitely not written for someone with my starting knowledge, haha.