Why does every category theory primer use this exact formulation: (.*) is just an [arrow|object] in the category of (.*)`
Every undergrad course, office hour, research paper, and manual that I've ever seen spams it.
Every undergrad course, office hour, research paper, and manual that I've ever seen spams it.
The common formulation is that a "monad is just a monoid in the category of endofunctors", which is not saying much but with big words, and the joke lies in understanding what it's saying. Bartosz Milewski has a lecture video series on youtube that's all about explaining that joke, and I highly recommend it because it's actually a wonderful CS lecture series.