Constructing a theory of processes

Last updated Oct 4, 2022

Tags: Grothendieck construction

References:

• Categorical Composable Cryptography (Broadbent and Karvonen, 2021)