Generalising Conduché's theorem

DOI10.1007/S10485-009-9200-9zbMath1214.18009OpenAlexW2049618720MaRDI QIDQ633801

Anna Labella, Stefano Kasangian, Andrea Montoli

Publication date: 30 March 2011

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-009-9200-9

zbMATH Keywords

2-categoriesenriched categoriescomputing processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conduché property and tree-based categories
• Categories with sums and right distributive tensor product
• Process synchronisation as fusion
• Metric spaces, generalized logic, and closed categories
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Observational trees as models for concurrency
• Categories enriched on two sides

This page was built for publication: Generalising Conduché's theorem