PS

2016-03-07から1日間の記事一覧

Parameterized representations in string diagrams

(String diagram から逸脱してきた気がするが・・・) 記法 Natural isomorphism: を次のように描く: 命題 Functor: について、representation の族: が存在するならば は natural in となる infrafunctor がただ一つ存在し、しかも functorial。 証明 を次のよ…