Bicategories of processes and lax dinaturalityLast updated Feb 3, 2024Tags: bicategory, Processes, dinaturality ReferencesBicategories of Processes (Katis, Sabadini, Walters, 1997)