works on
adaptive protocols 1algebraic methods 1cohomology 1contextuality 1measurement-based quantum computation 1quantum foundations 1

From the 1 of 9 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

UC, Categorically: Rigorous Diagrammatic Proofs

Pooya Farshim, Martti Karvonen, Andre Knispel +2

Category theory is a mathematical theory of composition, widely used in logic, computing, and physics. Here we apply it to give a theory of secure composition. In particular, we pr…