指標関係の同義語・類義語

高次圏論的な指標の理論 - 檜山正幸のキマイラ飼育記 メモ編で挙げた類義語に追加して再掲。

• 指標
  • コンピュータッド
  • ポリグラフ
  • グラフ
  • 箙
  • プレゼンテーション
  • 仕様
  • セオリー
  • スキーマ
• モデル
  • 代数
  • 加群
  • 表現
  • マシン
  • インスタンス
• ドクトリン
  • ブランド
  • フレームワーク
  • メタ構文
  • 2-セオリー

現状では、

• 仕様＝指標＋等式的条件
• 指標⊆仕様

と考えている。モデルは仕様に対して定義できるが、特に指標に対するモデルをマグマと呼ぶ。

• マグマ⊆モデル

ドクトリンは2-仕様の別名。

そういう観点でもう一度同義語を並べると：

指標の同義語：

1. コンピュータッド
2. ポリグラフ
3. グラフ（一般次元）
4. 箙（一般次元）

仕様の同義語：

1. セオリー
2. プレゼンテーション
3. スキーマ

モデルの同義語：

1. 代数
2. 加群
3. 表現
4. マシン
5. インスタンス

2-仕様の同義語

1. ドクトリン
2. 2-セオリー
3. （圏の）ブランド