あまりにも車輪の再発明が凄まじ過ぎて、用法や雰囲気（だけ）が違う同義語が山のようだ。少し整理しておく。基本レベルとは圏の次元を基準としたレイヤー番号のこと。基本レベルが1の存在物〈スタッフ〉はレイヤー1にいて、存在物の圏論的次元は1。 基本レ…

_R のような下線で始まる語は太字の代替で、固有名詞（特定インスタンスを指す名前）となる。次元ごとに付けるキーワードは恣意的なので括弧に入れることにした。 1-sinature movable { 0(sort) S in _Set 1(mathod) moveBy:S×_R→S in _Set 2(equation) assc…

型階層を考える上で、型を分類する必要がある。 型と種 無構造型（集合）と構造付き型 単純型〈基本型 | 組み込み型〉と複合型〈構成型 | 複雑型〉 全域型と部分型〈制約型〉 型と種は縦階層。縦階層は、オブジェクトレベル、メタレベル、メタメタレベルのよ…