See also. effectful Mealy machine effectful 2-category effectful bicategory References Bicategories of Processes (Katis, Sabadini, Walters, 1997) constructed the monoidal case.