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...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
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
Leíró adatok
Tartalmi kivonat: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 that already the structure of finite partial injections as a traced monoidal category is complete for the given axioms. In practical terms this means that if two biaccessible flowchart schemes are not isomorphic, then there exists an interpretation of the schemes by partial injections which distinguishes them.
Terjedelem/Fizikai jellemzők:327-347
ISSN:0324-721X