随伴

昨日の続き。竹内本の図の件について。
P78の2段目右側*1の図、

                        f
    FB --------> A  --------> A'
 ---------------------------------
                       Uf
    B  --------> UA --------> UA'

の長い横線は、O_A',Bと思うのが良くて、だから

                                f
    FB --------> A       A  --------> A'
 ------------------      -----------------
                               Uf
    B  --------> UA      UA --------> UA'

のように分割してしまうことは、やってはいけないことだった、と今は考えています。左がO_A,Bのように見えるのはたまたまそうなった、ということで。
個人的にはもっとくだけて、射の結合と随伴(の全単射O_A,B)の間の公式

(a;f)> = a>;Uf
(g;b)< = Fg;b<

をあらわしたもの、竹内風の公式集の表現、ぐらいに思っています。

*1:左側も同様