主にNを係数半環とする半線形代数を考えておくといいと思った。基本概念は： 係数半環／半体 半加群／半ベクトル空間 部分半加群 半線形独立 半イデアル 半アフィン空間／半アフィン集合 半アフィン不動点方程式 半体の例はあまり多くない（Z+{∞}に、min-plu…

パス書き換え系（Path Rewriting System; PRS）は項書き換え系（TRS）の一般化。次のものから構成される。 0セルの集合V 1セルの集合E、VとEでグラフになる。 書き換えと呼ばれる2セルの集合 書き換えの結合（合成）と代数的な法則 f, g, hなどが1セルだとと…