モナド的関手

関手 $G : \mathcal{D} \to \mathcal{C}$ がモナド的であるとは、$G$ が左随伴 $F$ をもち、随伴 $F \dashv G$ のモナド $T = GF$ についての比較関手 $K : \mathcal{D} \to \mathcal{C}^{T}$（定理 2.8）が圏同値（定義 6.1［圏・関手・自然変換］）であることをいう。