Sciweavers

Share
CORR
2008
Springer

Graphical Presentations of Symmetric Monoidal Closed Theories

8 years 6 months ago
Graphical Presentations of Symmetric Monoidal Closed Theories
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.
Richard H. G. Garner, Tom Hirschowitz, Auré
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon
Comments (0)
books