generated at
絵算
命名則
横 - 縦図式
文字
圏の圏 Cat2-モノイダル圏
1函手1-射
2自然変換2-射
Pデカルト積モノイダル積
P'指数対象
1-2図式
1-P図式
反転してP-1図式

2021/6/15
名前の整理
一般の2-圏に揃える
F,A → 1
N → 2