Generalising Conduché's theorem

DOI10.1007/S10485-009-9200-9zbMATH Open1214.18009OpenAlexW2049618720MaRDI QIDQ633801FDOQ633801

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conduché property and tree-based categories
• Categories with sums and right distributive tensor product
• Process synchronisation as fusion
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Title not available (Why is that?)
• Observational trees as models for concurrency
• Categories enriched on two sides

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)