quotients and relationsLast updated Feb 3, 2024category theoryQuotients and relations in the category of symmetric monoidal automata explain bisimulation and how surjections of automata are quotients.
