Conjugates in string diagrams
Conjugates
Adjunction:
について、以下のいずれかを満たす natural transformation のペア:
を conjugate という:
これらは (co)unit を内側や外側からつけると確かに同値。*1
Hom-set adjunctions in string diagrams - PS の対応により Hom-setでも表せる(けど略)。
参考文献
*1:Yoneda はオーバーキルなんじゃないかと思う