Monoidal Mealy machines

Last updated Feb 3, 2024

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

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