Actegories

 (bartoszmilewski.com)

23 points | by ibobev 2 hours ago

1 comments

  • ultimatefan1 23 minutes ago
    this has a real "a monad is a monoid in the category of endofunctors" energy to it
    [-]
    • paulluuk 22 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.