型／ソート変数（型／ソート名）は、0-項。0-生成元＝0-セル 型項は、0-項。生成された0-射 定数／変数は、1-項。1-生成元＝1セル。点射または域不定射 値項は、1-項。1-射だが、点射 関数項は、1-射。一般の射、または、フルカリー化された点射 項の構成法 …

セオリー論を行う背景となる構造を世界〈world〉と呼ぶことにする。「宇宙」は集合論のなかで使うことにする。世界の要件を述べる。 次元と呼ばれる番号で階層化されている。負の次元があってもよい。 次元（整数値）の集合は、{n∈Z | n ≧ B} の形に限る。B…