集合、指標、圏、モデル、項

k-集合は、(k-1)-圏となる。k-指標（k-コンピュータッド）はk-集合上の構造を定義する。

k-指標で定義されるk-構造付き集合を対象とするk-圏をk-マンダラと呼ぼうか。マンダラは、圏とドクトリンと統合する。

• k-マンダラは、k-圏である。
• k-マンダラの対象は、k-代数である。
• k-マンダラの対象の台は、k-集合である。
• k-代数は、k-指標のモデルである。
• k-マンダラは、k-指標で定義される。
• (k+1)-指標Γとk-指標Σがあるとき、Term_Γ(Σ) が定義できる。Term_Γは、Diag_Γ(Σ)でも同じ。Γ(Σ)と略記してしまうと、ΓはΣが属する圏の上のモナド（相対モナド）になる。
• モナドと解釈した(j+1)-指標（構文生成系）に対するj-指標の圏のクライスリ圏がプログラムコードの圏。