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

(きれいだけどたぶん使わない) Representations Bijectivity Uniqueness Yoneda embedding in string diagrams - PS Fully-faithful functors in string diagrams - PS のそれぞれの命題より 参考文献 Representable functor - Wikipedia, the free encyclop…

(･･･とでも) 記法 命題.1 記法 -functor: について となるとき と書くことにする。 の記号はこの記事以外では省略する。 命題.2 -functor: について -natural in ならば 証明 命題.3 かつ or ならば -natural in 証明 Existence-compatibility @error -funct…

記法 Representation について と書くことにする。定義により 命題 -functor: について ならば preserves the 記法 証明 まず、Enriched representability - PS の命題より右辺は well-formed。 これを計算すると確かに Preservation of weighted limits - P…