「オートマトンの圏」は色々に定義できる。色々有り過ぎて困る。優劣を論じるより、使い分けるという話だ。オートマトンを対象、トランスデューサーを射とみなすのは、模倣／双模倣の解釈に役立つ気がする。この解釈では、射が単なる状態空間の対応ではなく…

[追記]そんな簡単な話ではなかった！ これはダメだ。[/追記]モノイドMがあって、Mの反対モノイドMopとMのあいだの双対性があるとする。MMop→I として余単位＝evが定義されているとする。そのとき、左Mop反応を持つ入れ替え加群から、両側加群を構成できる。…

プレ順序集合に対する加群概念一般論と特殊ケース - 檜山正幸のキマイラ飼育記 メモ編 次に順序集合。これはたぶん、たぶんだけど、A上の順序構造とB上の順序構造があるとき、A×B上の二項関係を使って、A+Bに順序構造を入れる話だと思う。 だいたいあってる…

一般論と特殊ケース - 檜山正幸のキマイラ飼育記 メモ編 「モノイド接続」って言葉がイマイチなのは承知。なんかいい言葉がないか？ モノイド・アダプター（monoid adapter）はどうかな。モナドの変換（transformer）があるが、広義で解釈すると、モナドを受…