@deprecated 代わりに Fully-faithful functors in string diagrams - PS を参照。 Conservative functor Reflects iso な functor つまり を満たす functor のこと。 Fully faithful functor なる functor のこと。 命題 fully faithful functor -isomorphi…

Uniqueness quantification についての怪しい考察･･･ 動機 を満たす がただ一つ存在し、しかも を満たす という命題が という一まとめの記号では表せない。 Uniqueness quantification? 結果 参考文献 Uniqueness quantification - Wikipedia, the free ency…

TikZ TikZ とは path (なるもの)を構築する tex のライブラリ。 Path Path とは、path operation が何個か連なったものであり、\pathcommand により構築する。 \fooは\path[foo]または\path fooの短縮形である。 Path operation Path operation は path を構…

Tree rotation Tree rotation - Wikipedia, the free encyclopedia を参照。 General associativity theorem General Associativity Theorem/Formulation 3 - ProofWiki を参照。 これにより、binary tree は tree rotation の繰り返しでどんな形にも変形で…

(と一般に呼ぶのかは分からない) Monoidal category について という要件は不要という命題。 補題 証明 Proving lemmas on monoidal categories in Todd Trimble を参照。 命題 証明 の naturality より は iso ゆえ triangle equality とより 補題とより は…

圏論に必須かもしれない string diagram についての補足メモ String diagram Natural transformation(より一般には 2-category - PS の 2-cell) を平面上の線上の点で表す。Naturality 関連の等式が自明になる。 図の上下も左右も向きも文献によりまちまち･･…