Generalising Conduché's theorem

DOI10.1007/S10485-009-9200-9MaRDI QIDQ633801zbMATH OpenOpenAlexFDO

Authors Stefano Kasangian, Anna Labella, 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

enriched categories2-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)

Recommendations

• Conduché property and tree-based categories
• scientific article; zbMATH DE number 1243159
• A general limit lifting theorem for 2-dimensional monad theory
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Category seminar. Proceedings Sydney category theory seminar 1972/1973

Cites work

• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1759488 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• Categories enriched on two sides
• Categories with sums and right distributive tensor product
• Conduché property and tree-based categories
• Metric spaces, generalized logic, and closed categories
• Observational trees as models for concurrency
• Process synchronisation as fusion
• Unique factorisation lifting functors and categories of linearly-controlled processes

Cited in

(4)

• A conductor theorem
• A generalization of the Strassen converse
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Generalization of CS condition

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633801)