括弧に入れたものは、あまり興味を持たれてない。
| 一般 | 述語論理 | データベース | 遷移系 | 線形代数 |
|---|---|---|---|---|
| 指標 | 集合 | スキーマ＠グラフ | アルファベット | 生成集合〈基底〉 |
| 指標の圏 | 集合圏 | グラフの圏 | 集合圏 | 集合圏 |
| コンビネーション | 要素 | カラムパス | 字のストリング | 線形コンビネーション |
| コンビネーション代数 | 集合 | スキーマ＠圏 | 自由モノイド | 自由ベクトル空間 |
| 代数の圏 | 集合圏 | 圏の圏 | モノイドの圏 | ベクトル空間の圏 |
| 圏強制 | 離散圏 | そのまま | 単対象圏 | 単対象圏 |
| ターゲット圏 | 真偽値順序集合 | 集合圏 | 集合圏 | 集合圏 |
| モデル | 述語 | 状態 | 遷移系 | (プレアフィン空間) |
| モデル間の射 | 伴意順序 | 状態変換 | 遷移系の準同型写像 | (プレアフィン空間の準同型写像) |
| モデルの圏 | 述語の順序集合 | データベース状態の圏 | 遷移系の圏 | (プレアフィン空間の圏) |
指標の構文
| テキスト | 絵図 |
|---|---|
| n-指標 | n-グラフ |
| 基本k-射のプロファイル宣言文 | k-セルの境界指定 |
| k-項 | k-パス |
項とパスを統合してコンビネーション〈combination〉と呼ぶ。
- k-コンビネーションのテキスト表示 ＝ k-項
- k-コンビネーションの絵図〈グラフィカル〉表示 ＝ k-パス
様々な同義語があるなかから馴染みがありそうな用語を選んだ。
- n-指標、n-グラフ： コンピュータッド、ポリグラフ、箙、図式、複体
- 基本k-射、k-セル： 単体、構成素、記号、ラベル、辺
- コンビネーション（k-項、k-パス）： 式、表現、図式、図面〈figure〉、複体、項グラフ〈term graph〉
