http://www.math.uchicago.edu/~may/BOOKS/gils.pdf 圏T, Vに対して、圏B(T,V)と関手B_*:B(T,V) \to STを以下で構成する。 まずB(T,V)の対象は三つ組(F,C,X)であってCはTのmonadであり、FはC関手T \to Vで、XはC代数。 つまり、 - Cは関手C:T \to Tと自然変…