LIPIcs.CALCO.2019.18.pdf
- Filesize: 8.41 MB
- 20 pages
Document
Nominal String Diagrams
Authors
-
Part of:
Volume:
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Conference on Algebra and Coalgebra in Computer Science (CALCO) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2019-11-25
File
Document Identifiers
Acknowledgements
We are greatful to Fredrik Dahlqvist, Giuseppe Greco, Samuel Mimram, Drew Moshier, Alessandra Palmigiano, David Pym, Mike Shulman, Pawel Sobocinski, Thomas Streicher, Georg Struth, Apostolos Tzimoulis and Fabio Zanasi for discussions on the topic of this paper.
Cite AsGet BibTex
Samuel Balco and Alexander Kurz. Nominal String Diagrams. In 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 139, pp. 18:1-18:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2019)
https://doi.org/10.4230/LIPIcs.CALCO.2019.18
https://doi.org/10.4230/LIPIcs.CALCO.2019.18
Abstract
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.
Subject Classification
ACM Subject Classification
- Software and its engineering → General programming languages
- Theory of computation → Models of computation
- Theory of computation → Logic
- Mathematics of computing
Keywords
- string diagrams
- nominal sets
- separated product
- simultaneous substitutions
- internal category
- monoidal category
- internal monoidal categories
- PROP
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads