3 ms·
Sure, category theory can't prove the unsolvability of the quintic. But did you know that a monad is really just a monoid object in the monoidal category of end
by tux3 6mo ago
Sure, category theory can't prove the unsolvability of the quintic. But did you know that a monad is really just a monoid object in the monoidal category of endofunctors on the category of types of your favorite language?
- auggierose 6mo agoPhil?
- SkiFire13 6mo agoIsn't that just the definition?
- wholinator2 6mo agoI think they're making a joke