カテゴリーの種におけるオートマトンと炭鉱代数

組合せ論の理論を拡張し、抽象的な状態機械を一般的なカテゴリー内に解釈する。