オートマトンとマイヒル／ネロード定理の関係

新しい順：

1. 豊饒プロ関手は豊饒な世界を提供するのか - 檜山正幸のキマイラ飼育記
2. s-完備可換半環上の非可換半代数上の加群の圏に関する随伴性とその応用 - 檜山正幸のキマイラ飼育記
3. 関手オートマトンを説明する記号法に大いに悩む - 檜山正幸のキマイラ飼育記
4. オートマトンの定義を書き換えてみる - 檜山正幸のキマイラ飼育記 （関手オートマトンの導入）
5. 形式言語理論のための代数 - 檜山正幸のキマイラ飼育記 （Autom[-] の導入）
6. 計算科学における半加法圏の位置付け - 檜山正幸のキマイラ飼育記 （テンソル半加法圏）
7. 形式言語理論とメイヤー流クラスと圏論 - 檜山正幸のキマイラ飼育記 （メイヤー流クラス）
8. マイヒル／ネロードの定理の入り口 - 檜山正幸のキマイラ飼育記 （マイヒル／ネロード）
9. 表現、加群、前層、インデックス付き圏、導来子 - 檜山正幸のキマイラ飼育記 （圏が作用する集合）
10. メイヤー指標 - 檜山正幸のキマイラ飼育記 （メイヤー指標）
11. メイヤーオートマトンに関するマイヒル／ネロードの定理を宣伝する - 檜山正幸のキマイラ飼育記 （マイヒル／ネロード）
12. メイヤー代数、メイヤー指標、メイヤーオートマトン - 檜山正幸のキマイラ飼育記 （メイヤー指標とマイヒル／ネロードへの最初の言及）

マイヒル／ネロードの定理の基本的なアイディアは、メイヤー代数、メイヤー指標、メイヤーオートマトン - 檜山正幸のキマイラ飼育記の「メイヤー指標」のところに書いてある。同記事には、インスティテューションやモナドとモナドの代数のことも書いてある。