27 search results - page 1 / 6 » Symmetric monoidal sketches |
PPDP
2000
Springer
13 years 8 months ago
2000
Springer
We introduce and develop the notion of symmetric monoidal sketch. Every symmetric monoidal sketch generates a generic model. If the sketch is commutative and single-sorted, the gen...
IJAC
2008
13 years 4 months ago
2008
The dual symmetric inverse monoid I n is the inverse monoid of all isomorphisms between quotients of an n-set. We give a monoid presentation of I n and, along the way, establish c...
ENTCS
2008
13 years 4 months ago
2008
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal ca...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is sho...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...