Epireflections and supercompact cardinals

DOI10.1016/J.JPAA.2008.11.046zbMATH Open1160.03034arXivmath/0703119OpenAlexW1983493590MaRDI 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)

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.

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

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

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)

Cites Work

• Cellular spaces, null spaces and homotopy localization
• Title not available (Why is that?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set Theory
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Universal epimorphic equivalences for group localizations
• Title not available (Why is that?)

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)