[tux3]

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?

[SkiFire13]

Isn't that just the definition?

[wholinator2]

I think they're making a joke

[auggierose]

Phil?