A representation result for free cocompletions

DOI10.1016/S0022-4049(99)00063-8zbMath0971.18007MaRDI QIDQ1584038

Gian Luca Cattani, A. John Power, Glynn Winskel

Publication date: 5 November 2001

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

zbMATH Keywords

bisimulationconcurrencysymmetric monoidal 2-category\(KZ\)-monadsbiclosed categorycocompletionsKleisli 2-categoriesweighted colimits

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (5)

Accessibility and presentability in 2-categories ⋮ Unnamed Item ⋮ Pseudoalgebras and non-canonical isomorphisms ⋮ On lifting of biadjoints and lax algebras ⋮ A comonad for Grothendieck fibrations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The closure of a class of colimits
• Two-dimensional monad theory
• Gabriel-Ulmer duality for categories enriched in bicategories
• Monads for which structures are adjoint to units
• Bisimulation from open maps
• Cauchy characterization of enriched categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Premonoidal categories and notions of computation
• Coherence for tricategories

This page was built for publication: A representation result for free cocompletions