Webのモデルとエルゴット圏

エルゴット流の計算モデルを作るベースをエルゴット圏と呼ぶことにする。具体的には、トレース付き余デカルト圏。直和（余デカルト積）をモノイド積とするモノイド圏にトレースを入れたもの。直積もあったほうが便利なことが多いので、加法的トレースを持つデカルト半環圏と定義したほうがいいかもしれない。

エルゴット圏は、Webのモデルにも使えると思う。ハイパーリンクグラフはエルゴット圏に落として考えることができる。エルゴット圏の軌道が計算過程を表す状況は多いが、Web上での行動が軌道を描く。

今日はもう時間がないから、ここまで。