命題、集合、圏

真偽値の意味で命題を使う。自然数nに対してn-命題を定義する。

0-命題	-	-
1-命題	0-集合	-
2-命題	1-集合	0-圏
3-命題	2-集合	1-圏
4-命題	3-集合	2-圏

• 構造付きk-集合 ＝ k-構造付き集合 ＝ k-代数
• 構造付きj-圏 ＝ j-構造付き圏 = (j+1)-代数
• 構造付きk-集合の圏 ＝ k-代数の圏 ＝ k-バラエティ
• 構造付きj-圏の圏 ＝ j-ドクトリン