Actegories

 (bartoszmilewski.com)

19 points | by ibobev 1 hour ago

1 comments

  • ultimatefan1 9 minutes ago
    this has a real "a monad is a monoid in the category of endofunctors" energy to it
    [-]
    • paulluuk 8 minutes ago
      > To understand actegories, let’s start with the definition of a monoidal category

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