Definable orthogonality classes in accessible categories are small (Q2018246): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1101.2792 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3411966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On preaccessible categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: A variant of E. H. Brown's representability theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4848740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(C ^{(n)}\)-cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Colimits and Elementary Embeddings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epireflections and supercompact cardinals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4239318 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The localization of spaces with respect to homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructions of factorization systems in categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4191283 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indestructibility of Vopěnka's principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5475464 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Are all localizing subcategories of stable homotopy categories coreflective? / rank
 
Normal rank

Latest revision as of 22:21, 9 July 2024

scientific article
Language Label Description Also known as
English
Definable orthogonality classes in accessible categories are small
scientific article

    Statements

    Definable orthogonality classes in accessible categories are small (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    13 April 2015
    0 references
    Summary: 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 Vopěnka'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 Lévy hierarchy. For example, the statement that, for a class \(\mathcal S\) of morphisms in a locally presentable category \(\mathcal C\) of structures, the orthogonal class of objects is a small-orthogonality class (hence reflective) can be proved in ZFC if \(\mathcal S\) is \(\boldsymbol{\Sigma}_1\), while it follows from the existence of a proper class of supercompact cardinals if \(\mathcal S\) is \(\boldsymbol{\Sigma}_2\), and from the existence of a proper class of what we call \(C(n)\)-extendible cardinals if \(\mathcal S\) is \(\boldsymbol{\Sigma}_{n+2}\) for \(n \geq 1\). These cardinals form a new hierarchy, and we show that Vopěnka's principle is equivalent to the existence of \(C(n)\)-extendible cardinals for all \(n\). As a consequence of our approach, 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 follows from the fact that \(E^*\)-equivalence classes are \(\boldsymbol{\Sigma}_2\), where \(E\) denotes a spectrum treated as a parameter. In contrast with this fact, \(E_*\)-equivalence classes are \(\boldsymbol{\Sigma}_1\), from which it follows (as is well known) that the existence of homological localizations is provable in ZFC.
    0 references
    supercompact cardinal
    0 references
    extendible cardinal
    0 references
    Lévy hierarchy
    0 references
    accessible category
    0 references
    reflective subcategory
    0 references
    cohomological localization
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references