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.

Uses Paul Taylor's diagrams

References in corpus (1)

• A relationship between trees and Kelly-Mac Lane graphs

Cited by in corpus (2)

• Binding bigraphs as symmetric monoidal closed theories
• Variable binding, symmetric monoidal closed theories, and bigraphs