Comment by macrolocal

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