Operads and cooperads
Define the container part of being a monad and comonad. This is very easy to work out, but there is also a paper somewhere.
Define the container part of being a monad and comonad. This is very easy to work out, but there is also a paper somewhere.