Elgotオートマトン

いまさらながらにElgotオートマトンが面白いと気が付いた。余デカルト圏上で定義された反復またはトレース（フィードバック）。二圏構造も持つし、モナド、コモナドも出てくる。behaviour functorはモノイダル・スタンピング・モナドのKleisli圏に値を取る。

ElgotダガーもElgotオートマトンとの関連で考えるのが理解しやすいようだ。