ラベル付き遷移系αをラベル集合AからRel(X, Y)への写像として定義する。X = Y でないと、a, b∈Aに対するa;bは意味がない。しかし、a | b または a + b は意味がある。Aを指標とみると、ラベル付き遷移系とは、指標AのRelにおけるモデルである。α:A→Rel(X, Y)…

“時間の空間”の圏 - 檜山正幸のキマイラ飼育記 メモ編 時間の空間 再論 - 檜山正幸のキマイラ飼育記 メモ編 基本的な連続時間は、境界があってもなくてもよい1次元の多様体の形をしている。基本的な離散時間は、たかだか可算個の頂点と、頂点を結ぶ辺からな…