2008-05-16から1日間の記事一覧
クリーネ圏やコォゼン圏に関しては、正規表現と正規射(regular morphism)という概念を相対的にに定義できる。一番分かりやすいのはコォゼン圏だから、Cはコォゼン圏だとしよう。A⊆Cを任意の部分グラフとする。正確には、Cをプレ圏とみなして、部分プレ圏が…
境界付き0-1ラベル付きグラフの圏 行列の圏 境界なし 0×0行列 入り口1つ 縦ベクトル 出口1つ 横ベクトル 出口1つ入り口1つ 1×1行列≒スカラー 直和 対角和 結合 積 フィードバック 加法的トレース 模倣可能性 順序 互いに模倣可能 等しい 完全フィードバック…
Tを項だとして、ρx.T を、方程式 T = 0 を満たす解の1つだとする。 代数的有理性 スター有理性 1次方程式 ax + b = 0 一次不動点方程式 ax + b = x ax - 1 = 0 の解 ax + 1 = x の解 a-1 a* b/a = ba-1 ba*, a*b ρx.(ax - b) μx.(ax + b) 再帰代数、あるいは…