記号法 作業用のメモ
- a, b ：グラフの辺
- a, b ：アルファベットのレター
- b : 振る舞い
- d ： 識別頂点
- e ： 分離対象の分離射（予定）
- f, g, h ： 指標圏の射
- i ： 始状態指定
- i ： 添字
- k ： コンストラクタ射、コンストラクタ-コマンド射
- k ： 体
- n, m ： 整数
- p ： 余分離対象の余分離射（予定）
- q, r ： クエリー射、コマンド-クエリー射
- q ： 状態点 伝統的オートマトン
- s ： 開始頂点
- t ： 終状態判別
- u, v, w ： 集合の要素、値、点
- x, y, z ： グラフの頂点
- x, y, z ： 指標圏の対象
- A, B ： 伝統的オートマトン
- C, D ： 指標圏
- D ： 識別頂点族
- F, G, H ： オートマトン
- I ： 添字集合
- J ： 埋め込み関手
- K ： 固定化関手
- L, M, N： 言語
- M, N ： モノイド
- Q, R ： 状態空間
- S ： 開始頂点族
- T ： 終状態の集合
- U ： 忘却関手（やめた→Forget）
- V ： 双対化対称
- U, V, W ： 集合、主に状態空間
- X, Y, Z ： 頂点の集合、任意の集合（一時的）
- Γ, Δ ： アルファベット
- Δ ： 対角射
- Φ, Ψ ： グラフ
- Ω ： 双対化対象（やめた→V）
- b ： グラフの辺、振る舞い
- i, j, k ： 添字、コンストラクタ射
- p ： クエリー射、余分離射
- q, r ：状態点、クエリー射
- U : 忘却関手、集合 （解消→Forget）
- Δ ： 対角射、アルファベット
- * ： 引き戻し、双対、クリーニスター
