Gがグラフで、aがその頂点。aから出る辺で隣接している頂点集合をNo(a)として、aのout近傍頂点集合と呼ぶ。{a}∪No(a)の誘導部分グラフを、aのout近傍（グラフ）と呼ぶ。aのin近傍Ni(a)も同様に定義できる。f:G→Hがグラフの準同型として、aはGの頂点。このと…

pre-automatonとは、始状態も終状態も持たない(Σ, S, δ)のことらしい。これはラベル付き遷移系と同じだと思う。 "Monadic SecondOrder Logic, Graphs and Unfoldings of Transition Systems"から： Let n, m ∈N and m ≧ 1. A transition system of type (n, …

エルブラン・モデルから考えた圏の始類（initial class）、または図形的な印象からは始面（initial facet）。 単純対象と半単純圏 圏合同とエルブラン／リンデンバウム構成

伝統的エルブラン理論を定義し直したいのだけど、とりあえず伝統的エルブラン理論の概念・用語をまとめておく。構文は、変数、定数、関数、述語（記号達）で構成する。関数と述語を最初から明白に区別するのが特徴。変数、定数、関数で項を作り、それと述語…