デカルト・モノイド圏 (2)

圏一般論 セオリー論

考える素材に。不完全。

レベル 0 1 2 3
典型圏 10-Cat#0 21-Cat#1 22-Cat#2 23-Cat#3
別名 Set CAT CAT
一般圏 C
対象変数 A C
対象定数 1 I, Set I, CAT CAT
射変数 f F
射定数 !A \otimes, Δ, Π ×
2-射変数 なし α, β
2-射定数 なし !, δ, π

実際に使う予定の記号。まだ考えるべき。

レベル 構造 環境 メタ環境
典型圏 10-Cat#0 21-Cat#1 22-Cat#2
別名 Set CAT CAT
一般圏 C
対象変数 A,B C, D
単位対象 1 I, I
射変数 f,g F, G
直積 \otimes 外 × 外 × 外
ペア ∧ 外 < , > 外
対角 δ 外 Δ 外
射影 π 外 Π 外
終射 ! 外