FilterHN

19 points

1 hour ago

| 1 comment

| bartoszmilewski.com

| HN

3 minutes ago

[-]

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

2 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.