oto-oto-otoさんからのヒントを元に、消化してみました。 1. P.78 の、上から二つ目の図が何を意味するのか P78の上から二つ目の図の右側を読み解いてみます。随伴なので、自然な同型対応*1 O_A,B: A(FB,A)→B(B,UA) が与えられますが、これは当然 O_A',B も…