「オートマトンの定義を書き換えてみる」で説明した事情により、オートマトンとは「小さい圏から任意の圏への関手」ということになります。関手の定義域を小さい自由圏に限るなら、自由圏の生成系である有向グラフを考えて「有向グラフから任意の圏へのグラ…