On a simulation and an optimal input of automata in a monoidal categoryに関係する本がみつかりませんでした。
カーリルローカルでも探してみましょう。