1-2図式
勝手に名前つけた
dragoon8192.icon
$ \mathbf{Cat}
の
1-2図式
とは以下のルールで書いた図
table:方向
左から右へ
函手
の結合、適用
自然変換の横結合、適用
上から下へ
自然変換
の縦結合
（射の結合）
table: 図形
面 圏
線 函手（対象）
点 自然変換（射）
より一般には
2-圏
について
絵算
ref.icon
scrap:お絵描き完全解説