On the completeness of the traced monoidal category axioms in (Rel,+)
It is shown that the traced monoidal category of finite sets and relations with coproduct as tensor is complete for the extension of the traced symmetric monoidal axioms by two simple axioms, which capture the additive nature of trace in this category. The result is derived from a theorem saying tha...
Elmentve itt :
Szerző: | Bartha Miklós |
---|---|
Dokumentumtípus: | Cikk |
Megjelent: |
2017
|
Sorozat: | Acta cybernetica
23 No. 1 |
Kulcsszavak: | Matematika |
Tárgyszavak: | |
doi: | 10.14232/actacyb.23.1.2017.18 |
Online Access: | http://acta.bibl.u-szeged.hu/50076 |
Hasonló tételek
-
Monoidal intervals
Szerző: Dormán Miklós
Megjelent: (2010) -
Diametric completions
Szerző: Schneider Rolf
Megjelent: (2012) -
Axioms of the modern man
Megjelent: (1947) -
On DOL systems with finite axiom sets
Szerző: Honkala Juha
Megjelent: (2003) -
On the consisting of mathematical axiom systems
Szerző: Kalmár László