Tags: Grothendieck construction References: Categorical Composable Cryptography (Broadbent and Karvonen, 2021)
