Tags: bicategory, Processes, dinaturality References Bicategories of Processes (Katis, Sabadini, Walters, 1997)