A representation result for free cocompletions

DOI10.1016/S0022-4049(99)00063-8MaRDI QIDQ1584038zbMATH OpenFDO

Authors John Power, Gian Luca Cattani, Glynn Winskel

Publication date 5 November 2001

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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)

Recommendations

• Enriched categories as a free cocompletion
• Monads for which structures are adjoint to units
• A remark on conservative cocompletions of categories
• How nice are free completions of categories?
• The formal theory of monads. II

Cites work

• scientific article; zbMATH DE number 3680046 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3522192 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1305004 (Why is no real title available?)
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Bisimulation from open maps
• Cauchy characterization of enriched categories
• Coherence for tricategories
• Gabriel-Ulmer duality for categories enriched in bicategories
• Monads for which structures are adjoint to units
• Premonoidal categories and notions of computation
• The closure of a class of colimits
• Two-dimensional monad theory

Cited in

(7)

• On free representing systems
• Pseudoalgebras and non-canonical isomorphisms
• Accessibility and presentability in 2-categories
• On lifting of biadjoints and lax algebras
• A comonad for Grothendieck fibrations
• Generically free representations. III: Extremely bad characteristic
• Pseudocommutativity and lax idempotency for relative pseudomonads

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)