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
起源となる
論文