用語変更

  1. デリバラブルは本来の意味として、デリバラブル・ジェネレーターで生成されるブツのこと。
  2. 名前空間のルートはパッケージ名とする。パッケージ名自体はURLなどで名付ける。
  3. プロジェクト名、パッケージ名、ワールド名は一致させる。
  4. パッケージの名前空間の下に構文的対象の名前空間がぶら下がる。
  5. ワールドの名前空間の下に意味的対象〈シング〉の名前空間がぶら下がる。
  6. 指標はパッケージの下にあるが、セオリー〈自由圏〉、モデルの圏はワールドの下に入る。
  7. コンテナ〈コンテナスキーマ〉とコンテナ・コネクタはパッケージの下に入る。
  8. パッケージにもコンテナにもシェイプがある。シェイプはグラフ。
  9. 0-コンテナのシェイプは単なる集合+0-同値。
  10. 1-コンテナのシェイプはグラフ+1-同値=二角形的多角形。
  11. ワールドはザ・グリッドにより意味論が与えられる。