PS

Hom-set adjunctions in string diagrams

Counit-unit adjunctions

f:id:mbps:20160215220317p:plain

Hom-set adjunctions

  •  \operatorname{Hom}(Fc,d) \cong \operatorname{Hom}(c,Gd)

To counit-unit adjunctions

f:id:mbps:20160215220332p:plain

とすると

f:id:mbps:20160215220339p:plain

Counit と unit を使うと string diagram として自然な形に出来る、という感じ。

参考文献