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)

Full work available at URL https://doi.org/10.1016/S0022-4049(99)00063-8

zbMATH Keywords

\(KZ\)-monadsbiclosed categorybisimulationcocompletionsconcurrencyKleisli 2-categoriessymmetric monoidal 2-categoryweighted colimits

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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

(9)

• Pseudoalgebras and non-canonical isomorphisms
• Accessibility and presentability in 2-categories
• Generically free representations. III: Extremely bad characteristic
• On free representing systems
• On lifting of biadjoints and lax algebras
• Pseudocommutativity and lax idempotency for relative pseudomonads
• A comonad for Grothendieck fibrations
• Free extensivity via distributivity
• \(\mathscr{V}\)-graded categories and \(\mathscr{V}\)-\(\mathscr{W}\)-bigraded categories: functor categories and bifunctors over non-symmetric bases

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)