Algebraically, this means any monad both gives rise to a category (called the Kleisli category) "and" a monoid in the category of functors (from values to computations), with monadic composition as a binary operator and as identity.