Mario Román

❯

❯

❯

Monoidal Mealy machines

Monoidal Mealy machines

May 02, 20251 min read

transition-systems-in-monoidal-streams

Tags: monoidal category, Automata, A Canonical Algebra of Open Transition Systems (Di Lavore, Gianola, Roman, Sabadini, Sobocinski, 2021), monoidal streams, Mealy machine.

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

Graph View

Backlinks

Automata
mealy machine
Monoidal streams for Buchi automata
Probabilistic bisimulation
machines and streams
transition system

Mario Román, CC-BY-SA. Built with Quartz © 2025.

GitHub
ArXiv
OrcID