category theory Quotients and relations in the category of symmetric monoidal automata explain bisimulation and how surjections of automata are quotients.
