Conjugates in string diagrams
Conjugates
Adjunction:
について、以下のいずれかを満たす natural transformation のペア:
を conjugate という:
これらは (co)unit を内側や外側からつけると確かに同値。*1
Hom-set adjunctions in string diagrams - PS の対応により Hom-setでも表せる(けど略)。
参考文献
*1:Yoneda はオーバーキルなんじゃないかと思う
Hom-set adjunctions in string diagrams
Counit-unit adjunctions
Hom-set adjunctions
To counit-unit adjunctions
とすると
Counit と unit を使うと string diagram として自然な形に出来る、という感じ。
参考文献
Horizontal composition in string diagrams
(1-natural transformations in string diagrams - PS を使って・・・)
Vertical composition
Horizontal composition
もっと早く知っていれば。