PS

Conjugate

Conjugates in string diagrams

Conjugates Adjunction: について、以下のいずれかを満たす natural transformation のペア: を conjugate という: これらは (co)unit を内側や外側からつけると確かに同値。*1 Hom-set adjunctions in string diagrams - PS の対応により Hom-setでも表せる…