Epireflections and supercompact cardinals

DOI10.1016/J.JPAA.2008.11.046zbMATH Open1160.03034OpenAlexW1983493590MaRDI QIDQ1013095FDOQ1013095

Authors Joan Bagaria, Carles Casacuberta, A. R. D. Mathias 

Publication date 16 April 2009

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

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

zbMATH Keywords

localizationsupercompact cardinalssmall-orthogonality classaccessible category

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 prove that, under suitable assumptions on a category C, the existence of supercompact cardinals implies that every absolute epireflective class of objects of C is a small-orthogonality class. More precisely, if L is a localization functor on an accessible category C such that the unit morphism X o LX is an extremal epimorphism for all X, and the class of L-local objects is defined by an absolute formula with parameters, then the existence of a supercompact cardinal above the cardinalities of the parameters implies that L is a localization with respect to some set of morphisms.

Recommendations

• Some structural results concerning supercompact cardinals
• Supercompactness and measurable limits of strong cardinals
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Epimorphisms, definability and cardinalities
• The enhanced Levinski property and the class of supercompact cardinals
• Superstationary and \(ineffable^ n\) cardinals
• The wholeness axioms and the class of supercompact cardinals
• Strong compactness, measurability, and the class of supercompact cardinals
• The Hypothesis and a supercompact cardinal
• Supercompact cardinals, trees of normal ultrafilters, and the partition property

Cites work

• scientific article; zbMATH DE number 2125671 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 65592 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Cellular spaces, null spaces and homotopy localization
• Implications of large-cardinal principles in homotopical localization
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• On radicals and products
• Set Theory
• Universal epimorphic equivalences for group localizations

Cited in

(4)

• The Hypothesis and a supercompact cardinal
• Some facets of Horn covarieties in a category
• Mathias and set theory
• Definable orthogonality classes in accessible categories are small

This page was built for publication: Epireflections and supercompact cardinals

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