PS

Conjugates in string diagrams

Conjugates

Adjunction:

  •  (F \dashv G): \mathcal{C} \to \mathcal{D}
  •  (F' \dashv G'): \mathcal{C} \to \mathcal{D}

について、以下のいずれかを満たす natural transformation のペア:

  •  \sigma: F \to F'
  •  \tau: G' \to G

conjugate という:

f:id:mbps:20160217011206p:plain

これらは (co)unit を内側や外側からつけると確かに同値。*1

Hom-set adjunctions in string diagrams - PS の対応により Hom-setでも表せる(けど略)。

参考文献

*1:Yoneda はオーバーキルなんじゃないかと思う