このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

ElgotダガーとConwayダガー

トレース／コンパクト閉圏

Elgotのダガー（iterationオペレータ）は、f:A→A+B から f†:A→Bを作るらしい。

明白に添字（上下はイイカゲン）を書くと：

  • TrXA,B::(A+X → B+X)⇒(A → B)
  • FpXA::(A+X → X)⇒(A → X) （Conway）
  • RepX::(X → X)⇒(X → X) （Kleene）
  • ItrA,B::(A → A+B)⇒(A → B) （Elgot）

Cazanescu/Stefanescu, Hasegawa, Hyland/Bentonを読めばいいのだろうけど、、、気力・能力が不足している。

それにしても、ステファネスク（Stefanescu）さんはすごい。私淑しよう。高い本"Network algebra"も買おうかな、高いけど。