http://www.math.jhu.edu/~eriehl/hocolimits.pdf Aをmonoidal catとしF:C^op \to AとG:C \to Aに対し、そのテンソル積F \otimes G:C^op \times C \to Aを(c,c') \mapsto Fc \otimes Gc'のcoendとして定義する。 これをenriched categoryに一般化すると、次…