surjections-of-automata-are-quotients