A representation result for free cocompletions
DOI10.1016/S0022-4049(99)00063-8zbMATH Open0971.18007MaRDI QIDQ1584038FDOQ1584038
Gian Luca Cattani, John Power, Glynn Winskel
Publication date: 5 November 2001
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
concurrencybisimulationsymmetric monoidal 2-category\(KZ\)-monadsbiclosed categorycocompletionsKleisli 2-categoriesweighted colimits
Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Eilenberg-Moore and Kleisli constructions for monads (18C20) 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
- Bisimulation from open maps
- Title not available (Why is that?)
- Title not available (Why is that?)
- Premonoidal categories and notions of computation
- The closure of a class of colimits
- Monads for which structures are adjoint to units
- Two-dimensional monad theory
- Cauchy characterization of enriched categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coherence for tricategories
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Title not available (Why is that?)
- Title not available (Why is that?)
- Gabriel-Ulmer duality for categories enriched in bicategories
Cited In (7)
- On free representing systems
- Pseudoalgebras and non-canonical isomorphisms
- Title not available (Why is that?)
- Accessibility and presentability in 2-categories
- Generically free representations. III: Extremely bad characteristic
- On lifting of biadjoints and lax algebras
- A comonad for Grothendieck fibrations
Recommendations
This page was built for publication: A representation result for free cocompletions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1584038)
