arbitrary morphisms do not imply bisimulation

• bisimulation