Graphical Presentations of Symmetric Monoidal Closed Theories
Logic in Computer Science
2009-06-08 v2 Category Theory
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.
Keywords
Cite
@article{arxiv.0810.4420,
title = {Graphical Presentations of Symmetric Monoidal Closed Theories},
author = {Richard Garner and Tom Hirschowitz and Aurélien Pardon},
journal= {arXiv preprint arXiv:0810.4420},
year = {2009}
}
Comments
Uses Paul Taylor's diagrams