On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)

From MaRDI portal

Publication:5350160

Jump to:navigation, search

DOI10.14232/ACTACYB.23.1.2017.18zbMath1389.18007OpenAlexW2611921753MaRDI QIDQ5350160

Miklós Bartha

Publication date: 25 August 2017

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.23.1.2017.18

zbMATH Keywords

iteration monoidal categories feedback trace equational completeness identities in categories

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50)

This page was built for publication: On the Completeness of the Traced Monoidal Category Axioms in (Rel,+)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5350160&oldid=20051677"