絵算
命名則
横 - 縦図式
table:文字
圏の圏 Cat 2-モノイダル圏
1 函手 1-射
2 自然変換 2-射
P デカルト積 モノイダル積
P' 指数対象
1-2図式
1-P図式
反転してP-1図式
2021/6/15
名前の整理
一般の2-圏に揃える
F,A → 1
N → 2