P-F-N立体図式
Product - Functor - Natural-transformation
勝手に名前つけた
dragoon8192.icon
（
$ \mathbf{Cat}
の）
P-F-N立体図式
とは以下のルールで書いた図
table:方向
手前から奥
直積
右から左へ
函手
の結合、適用
自然変換の横結合、適用
上から下へ
自然変換
の縦結合
（射の結合）
table: 図形
空間 （なし）
面 圏
線 函手（対象）
点 自然変換（射）
横にスライスすれば
函手を射とした
P-1図式
（P-F図式）
横から押しつぶせば
1-2図式
F-N
ref.icon
scrap:お絵描き完全解説