Constructing a theory of processes

Last updated Feb 3, 2024

Tags: Grothendieck construction

References:

• Categorical Composable Cryptography (Broadbent and Karvonen, 2021)