Probabilistic bisimulationLast updated Feb 3, 2024monoidal Mealy machinebisimulationFunctional morphisms of probabilistic automata are bisimulations