Graphical Presentations of Symmetric Monoidal Closed Theories
نشر في Tom Hirschowitz
بتاريخ 2009
في مجال الهندسة المعلوماتية
والبحث باللغة
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.