On the completeness of the traced monoidal category axioms in (Rel,+)

Bartha Miklós: On the completeness of the traced monoidal category axioms in (Rel,+). In: Acta cybernetica, (23) 1. pp. 327-347. (2017)

[thumbnail of actacyb_23_1_2017_18.pdf]
Előnézet
Cikk, tanulmány, mű
actacyb_23_1_2017_18.pdf

Letöltés (236kB) | Előnézet

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

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2017
Kötet: 23
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 327-347
Nyelv: angol
Kiadás helye: Szeged
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/50021/
DOI: 10.14232/actacyb.23.1.2017.18
Kulcsszavak: Matematika
Megjegyzések: Bibliogr.: p. 345-347. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.01. Matematika
Feltöltés dátuma: 2018. feb. 12. 14:42
Utolsó módosítás: 2022. jún. 20. 14:14
URI: http://acta.bibl.u-szeged.hu/id/eprint/50076
Bővebben:
Tétel nézet Tétel nézet