generated at
Eilenberg-Moore圏
モナドに関連がある
「トリプル」と呼んでいる
https://ja.wikipedia.org/wiki/モナド_(圏論)

http://ie.u-ryukyu.ac.jp/~kono/lecture/software/Agda/em.html
https://ncatlab.org/nlab/show/Eilenberg-Moore+category
http://alg-d.com/math/kan_extension/monad.pdf
Adjoint Functors And Triples
起源となる論文