{"id":"arxiv/2608.04521","url":"https://arxiv.org/abs/2608.04521","tags":["cs.LO","cs.CR","math.CT"],"score":0,"title":"UC, Categorically: Rigorous Diagrammatic Proofs","domain":"cs.LO","source":"arxiv","authors":["Pooya Farshim","Martti Karvonen","Andre Knispel","Markulf Kohlweiss","Philip Wadler"],"reviews":0,"subject":"cs.LO","summary":"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 provide a categorical treatment of Canetti's Universal Composability (UC) framework for systems with a static number of parties and sessions, often termed UC for static systems, yielding four benefits. First, we present our results graphically yet retain rigor by applying a standard categorical technique known as string diagrams. In particular, our formulation of the composition theorem can be graphically verified…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-05","reactions":{}}