Graphical Presentations of Symmetric Monoidal Closed Theories
Résumé
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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...