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.

• Type: Journal
• Year: 2008
• Where: CORR
• Authors: Richard H. G. Garner, Tom Hirschowitz, Aurélien Pardon
• Keywords: CORR 2008, Education, Proof Nets, Smc Signature, Symmetric Monoidal