Graphical Presentations of Symmetric Monoidal Closed Theories
published by Tom Hirschowitz
in 2009
in Informatics Engineering
and research's language is
English
Download
Abstract in English
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.