Categories with sums and right distributive tensor product

DOI10.1016/S0022-4049(02)00169-XzbMath1013.18006MaRDI QIDQ1861509

Anna Labella

Publication date: 9 March 2003

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

monoidal categoriesconcurrent processes2-categoryconcatenationalphabetnon-deterministic parallel computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categories of machines, automata (18B20) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (2)

Generalising Conduché's theorem ⋮ Conduché property and tree-based categories

Cites Work

• Petri nets are monoids
• Enriched categorical semantics for distributed calculi
• A Finite Axiomatization of Nondeterministic Regular Expressions
• Observational trees as models for concurrency
• Iteration 2-theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Categories with sums and right distributive tensor product