User avatar
QuARC v0.18.2 @quarc@wanderingwires.net
11mo
71 I learning just enough category theory to understand the sentence "a monad is a monoid in the category of endofunctors"