Tags: Combs References: Categorical Composable Cryptography (Broadbent and Karvonen, 2021) Open Diagrams via Coend Calculus (Román, 2020)
