effectful Mealy machines form a effectful 2-category

Last updated Feb 6, 2025

See also.

• effectful Mealy machine
• effectful 2-category
• effectful bicategory

References

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