2026-07-22T16:32:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25436 2026-03-19T13:28:30Z ddc:004 open_access

String Diagrams for Closed Symmetric Monoidal Categories Reader, Callum Di Giorgio, Alessandro diagrammatic languages logic lambda calculi We introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bracket wires make the structure of the internal hom functor explicit, allowing standard morphism wires to interact with them through a well-defined set of graphical rules. We establish the soundness and completeness of the diagrammatic calculus, and illustrate its expressiveness through examples drawn from category theory, logic and programming language semantics. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Callum Reader and Alessandro Di Giorgio 2026 Is Part Of LIPIcs, Volume 363, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2026.12 urn:nbn:de:0030-drops-254369 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2026.12 eng https://creativecommons.org/licenses/by/4.0/legalcode