http://www.math.uchicago.edu/~may/BOOKS/gils.pdf Uをmonoidal catとしGをそのmonoid objectとする。 G-objとはG \otimes X \to X付きのUの対象で適切な可換図式を満たすもの。 これはmonad GについてのG代数と同じ。 (Y,G,X)をGがUのmonoidでYがleft G-ob…