Graphical Presentations of Symmetric Monoidal Closed Theories
classification
💻 cs.LO
math.CT
keywords
closedmonoidalsymmetrictheoriesaugmentedcategoriesclassifyingconsisting
read the original abstract
We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.