generated at
P-F-N立体図式
Product - Functor - Natural-transformation
勝手に名前つけたdragoon8192

（\mathbf{Cat}の）P-F-N立体図式とは以下のルールで書いた図
方向
手前から奥直積
右から左へ函手の結合、適用
自然変換の横結合、適用
上から下へ自然変換の縦結合
（射の結合）
図形
空間（なし）
面圏
線函手（対象）
点自然変換（射）

横にスライスすれば
函手を射としたP-1図式（P-F図式）
横から押しつぶせば
1-2図式
F-N

refscrap:お絵描き完全解説