27 search results - page 2 / 6 » Symmetric monoidal sketches |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
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 theo...
FCT
1995
Springer
14 years 1 months ago
1995
Springer
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
We show that the category FinVectk of finite dimensional vector spaces and linear maps over any field k is (collectively) complete for the traced symmetric monoidal category freely...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Milner's bigraphs [1] are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the -calcul...
CONCUR
2009
Springer
14 years 4 months ago
2009
Springer