PS

Enriched Yoneda lemma in string diagrams

圏論 命題 Yoneda String diagram Enriched

(ふとひらめいたが役に立つかは分からない)

Uncurried Functoriality

f:id:mbps:20151020215352p:plain

A naturality

f:id:mbps:20151020215400p:plain

Yoneda bijection

f:id:mbps:20151022183812p:plain

記法

f:id:mbps:20151022191119p:plain

命題

f:id:mbps:20151022200107p:plain

円周上で F の functoriality や \alpha の naturality を使っても矛盾がない･･･というのが Yoneda lemma？

参考文献