Exactly, just like a monad is just a monoid in the category of endofunctors!