一様性を持つ部分トレース付き圏の周辺
一様性を持つ部分トレース付き圏に関連すること。
- クリーネ圏（Kleene圏）におけるスター一様性原理 a;x = x;b ⇒ a*;x = x;b* の良い解釈
- クリーネ圏における再帰原理 a;x ≦ y ⇒ a*;x ≦ y の良い解釈
- 級数 1 + x + x^2 + ... の一般的な（発散するケースも含めた）取り扱い。
- 双模倣の抽象的定式化
- トレースを使って振る舞い関手を定義する方法
- マイヒル／ネロード型の定理
- 最小化モナド構造（notion of behaviour）の定式化→Notion of Behaviour - 檜山正幸のキマイラ飼育記 メモ編
一様性を弱めたものとして：
- a;x ≦ x;b ⇒ a*;x ≦ x;b*
がある。トレース付きの局所順序圏での定式化がなにかできないか？ 片側模倣を圏論的に定式化するのがヒントになるかもしれない。
