effectful Mealy machines form a effectful 2-category

Last updated Feb 3, 2024

• effectful Mealy machine
• effectful transition system
• monoidal transition system
• effectful 2-category
• effectful bicategory

References

• Bicategories of Processes (Katis, Sabadini, Walters, 1997) constructed the monoidal case.