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))たちは射を先に合成するか、後に合成するかのふた通りあって、どちらでも一致するものが[C,D](F,H)である。
[C,D](F,G)および[C,D](G,H)の普遍性から、C(a,b)をD(Fb,Gb)の前に合成して残りを合成したもの、D(Fa,Ga)の後に合成して残りを合成したもの、D(Gb,Hb)の前に合成して残りを合成したもの、D(Ga,Ha)の後に合成して残りを合成したもの、これらが一致することから、[C,D](F,H)の普遍性により射が伸びる。
