圏論に必須かもしれない string diagram についての補足メモ String diagram Natural transformation(より一般には 2-category - PS の 2-cell) を平面上の線上の点で表す。Naturality 関連の等式が自明になる。 図の上下も左右も向きも文献によりまちまち・・…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。