Monoidal Mealy machines

Last updated Jul 23, 2024

Tags: monoidal category, Automata, A Canonical Algebra of Open Transition Systems, monoidal streams, Mealy machine.

• monoidal bicategory of monoidal transition systems
• classical example of monoidal transition system homomorphism
• stochastic example of monoidal transition system homomorphism