Re: Automata as Categories