2026-08-08T07:00:23Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:11446 2024-03-06T10:47:08Z ddc:004 open_access

Nominal String Diagrams Balco, Samuel Kurz, Alexander string diagrams nominal sets separated product simultaneous substitutions internal category monoidal category internal monoidal categories PROP We introduce nominal string diagrams as string diagrams internal in the category of nominal sets. This requires us to take nominal sets as a monoidal category, not with the cartesian product, but with the separated product. To this end, we develop the beginnings of a theory of monoidal categories internal in a symmetric monoidal category. As an instance, we obtain a notion of a nominal PROP as a PROP internal in nominal sets. A 2-dimensional calculus of simultaneous substitutions is an application. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Samuel Balco and Alexander Kurz 2019 Is Part Of LIPIcs, Volume 139, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2019.18 urn:nbn:de:0030-drops-114466 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2019.18 eng https://creativecommons.org/licenses/by/3.0/legalcode