圏 上の モナド とは，functor および自然変換 の組であって， をみたすもの．ここで， Adjoint に対し， はモナドになる． モナド に対し，これを誘導する adjoint の圏は，terminal object（-algebra），initial object（Kleisli 圏）をもつ．