[macrolocal]

Yep, you need category theory to express something as trivial as the definition of a monad.

[zmgsabst]

That’s what category theory does well: broad collections of trivialities in a unified definition.