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, Xがright G-obとする。
これにたいし、Uのsimplicial obj B_*(Y,G,X)をB_q(Y,G,X)=YG^qXにより定める。
A(U)をこのような(Y,G,X)のなす圏とし、Uがsymmetricとする。
このときA(U)の積を(Y\otimes Y', G\otimes G', X \otimes X')により定めることができ、
これが上のB_*の構成と可換になる。
