Definable orthogonality classes in accessible categories are small

DOI10.4171/JEMS/511MaRDI QIDQ2018246zbMATHWikidataFDO

Authors Joan Bagaria, Carles Casacuberta, Jiří Rosický, A. R. D. Mathias

Publication date 13 April 2015

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

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

zbMATH Keywords

reflective subcategorysupercompact cardinalaccessible categoryextendible cardinalcohomological localizationLévy hierarchy

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Set-theoretic model theory (03C55) Large cardinals (03E55) Accessible and locally presentable categories (18C35)

Abstract: We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal hypotheses depend on the complexity of the formulas defining the given classes, in the sense of the Levy hierarchy. For example, the statement that, for a class S of morphisms in a locally presentable category C of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) is provable in ZFC if S is Sigma_1, while it follows from the existence of a proper class of supercompact cardinals if S is Sigma_2, and from the existence of a proper class of what we call C(n)-extendible cardinals if S is Sigma_{n+2} for n bigger than or equal to 1. These cardinals form a new hierarchy, and we show that Vopenka's principle is equivalent to the existence of C(n)-extendible cardinals for all n. As a consequence, we prove that the existence of cohomological localizations of simplicial sets, a long-standing open problem in algebraic topology, is implied by the existence of arbitrarily large supercompact cardinals. This result follows from the fact that cohomology equivalences are Sigma_2. In contrast with this fact, homology equivalences are Sigma_1, from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.

Recommendations

• scientific article; zbMATH DE number 5035855
• scientific article; zbMATH DE number 1867928
• Small presentations of model categories and Vopěnka's principle
• Implications of large-cardinal principles in homotopical localization
• scientific article; zbMATH DE number 575948

Cites work

• scientific article; zbMATH DE number 3629842 (Why is no real title available?)
• scientific article; zbMATH DE number 1278464 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 5035855 (Why is no real title available?)
• A variant of E. H. Brown's representability theorem
• Abstract and concrete categories: the joy of cats
• Are all localizing subcategories of stable homotopy categories coreflective?
• Constructions of factorization systems in categories
• Epireflections and supercompact cardinals
• Indestructibility of Vopěnka's principle
• On colimits and elementary embeddings
• On preaccessible categories
• The localization of spaces with respect to homology
• \(C ^{(n)}\)-cardinals

Cited in

(20)

• Comparing localizations across adjunctions
• LARGE CARDINALS AS PRINCIPLES OF STRUCTURAL REFLECTION
• Are all localizing subcategories of stable homotopy categories coreflective?
• Two results on extendible cardinals
• Fibrantly generated weak factorization systems
• Mathias and set theory
• \(C ^{(n)}\)-cardinals
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• Non-accessible localizations
• IDENTITY CRISIS BETWEEN SUPERCOMPACTNESS AND VǑPENKA’S PRINCIPLE
• Cohomological Localizations and Set-Theoretical Reflection
• Maximum deconstructibility in module categories
• Abstract cellularization as a cellularization with respect to a set of objects
• Huge reflection
• Patterns of structural reflection in the large-cardinal hierarchy
• Accessible images revisited
• Structural reflection, shrewd cardinals and the size of the continuum
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• scientific article; zbMATH DE number 1867928 (Why is no real title available?)

This page was built for publication: Definable orthogonality classes in accessible categories are small

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