Colimits of accessible categories

DOI10.1017/S0305004113000030MaRDI QIDQ2841498zbMATH OpenOpenAlexFDO

Authors Robert Paré, Jiří Rosický

Publication date 26 July 2013

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1110.0767

zbMATH Keywords

accessible category

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Accessible and locally presentable categories (18C35)

Abstract: We show that any directed colimit of acessible categories and accessible full embeddings is accessible and, assuming the existence of arbitrarily large strongly compact cardinals, any directed colimit of acessible categories and accessible embeddings is accessible.

Review text

The \(2\)-category of accessible categories and accessible functors is known to have all appropriate limits, but there is not much known about colimits. In this paper the authors consider directed colimits. They show that directed colimits of accessible categories and accessible full embeddings are accessible, and they obtain a similar result for arbitrary accessible embeddings on the assumption that there are arbitrarily large strongly compact cardinals. They do not know whether the assumption about cardinals is necessary.

Recommendations

• More on directed colimits of models
• A classification of accessible categories
• Abstract elementary classes and accessible categories
• Sur les catégories accessibles multicomplètes. (On multicomplete accessible categories)
• Sizes and filtrations in accessible categories

Cites work

• Accessible Categories: The Foundations of Categorical Model Theory
• Higher Topos Theory (AM-170)
• On combinatorial model categories

Cited in

(17)

• Every étendue comes from a local equivalence relation
• More on directed colimits of models
• Sur les catégories accessibles multicomplètes. (On multicomplete accessible categories)
• A classification of accessible categories
• General facts on the Scott adjunction
• Accessibility and presentability in 2-categories
• Structure of accessibility classes
• Terminal coalgebras in well-founded set theory
• Accessible categories and models of linear logic
• scientific article; zbMATH DE number 426306 (Why is no real title available?)
• scientific article; zbMATH DE number 1264287 (Why is no real title available?)
• scientific article; zbMATH DE number 614401 (Why is no real title available?)
• scientific article; zbMATH DE number 897932 (Why is no real title available?)
• Minimal accessible categories
• On colimits and elementary embeddings
• Notes on limits of accessible categories
• Finite models of sketches

This page was built for publication: Colimits of accessible categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841498)