Graphical Presentations of Symmetric Monoidal Closed Theories Export

@article{citeulike:3459464, 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.}, archivePrefix = {arXiv}, author = {Garner, Richard H. G. and Hirschowitz, Tom and Pardon, Aur\&\#xe9;lien}, citeulike-article-id = {3459464}, citeulike-linkout-0 = {http://arxiv.org/abs/0810.4420}, citeulike-linkout-1 = {http://arxiv.org/pdf/0810.4420}, eprint = {0810.4420}, keywords = {category-theory, languages, mathematics, printed}, month = {Oct}, posted-at = {2008-10-29 06:55:09}, priority = {4}, title = {Graphical Presentations of Symmetric Monoidal Closed Theories}, url = {http://arxiv.org/abs/0810.4420}, year = {2008} }

TY - JOUR ID - citeulike:3459464 L3 - citeulike-article-id:3459464 N2 - 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. TI - Graphical Presentations of Symmetric Monoidal Closed Theories KW - category-theory KW - languages KW - mathematics KW - printed AU - Garner, Richard AU - Hirschowitz, Tom AU - Pardon, Aurélien PY - 2008/Oct/24/ UR - http://arxiv.org/abs/0810.4420 ER -