http://www.math.jhu.edu/~eriehl/weighted.pdf 昨日の計算の続き。 [C,D](F, G) \otimes [C,D](G, H) \to [C,D](F, H)を定義する。 随伴から決まる射D(Fa, Ha) \to V(C(a,b), D(Fa, Hb))たちは射を先に合成するか、後に合成するかのふた通りあって、どちら…