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