Cellular objects and Shelah's singular compactness theorem

DOI10.1016/J.JPAA.2015.10.003MaRDI QIDQ899557zbMATH OpenOpenAlexFDO

Authors Jiří Rosický, Tibor Beke

Publication date 30 December 2015

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

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

zbMATH Keywords

locally presentable categoryfree structuresingular cardinalaccessible functoraccessible categorycellular object

Mathematics Subject Classification ID

Accessible and locally presentable categories (18C35) Applications of set theory (03E75)

Abstract: The best-known version of Shelah's celebrated singular cardinal compactness theorem states that if the cardinality of an abelian group is singular, and all its subgroups of lesser cardinality are free, then the group itself is free. The proof can be adapted to cover a number of analogous situations in the setting of non-abelian groups, modules, graph colorings, set transversals etc. We give a single, structural statement of singular compactness that covers all examples in the literature that we are aware of. A case of this formulation, singular compactness for cellular structures, is of special interest; it expresses a relative notion of freeness. The proof of our functorial formulation is motivated by a paper of Hodges, based on a talk of Shelah. The cellular formulation is new, and related to recent work in abstract homotopy theory.

Recommendations

• Shelah's singular compactness theorem.
• scientific article; zbMATH DE number 888837
• CELLULAR CATEGORIES AND STABLE INDEPENDENCE
• Incompactness in regular cardinals
• Compactness phenomena around the class of locally projective modules

Cites work

• scientific article; zbMATH DE number 4041886 (Why is no real title available?)
• scientific article; zbMATH DE number 45272 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals
• Abstract elementary classes and accessible categories
• Accessible Categories: The Foundations of Categorical Model Theory
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Class-locally presentable and class-accessible categories
• Combinatorial methods. Free groups, polynomials, and free algebras
• Higher Topos Theory (AM-170)
• In singular cardinality, locally free algebras are free
• On Schreier varieties of groups
• On a fat small object argument
• On exact categories and applications to triangulated adjoints and model structures
• Schreier varieties of groups
• Shelah's singular compactness theorem.
• Theories of presheaf type

Cited in

(6)

• The cellularization principle for Quillen adjunctions
• Theorem on the union of two topologically flat cells of codimension 1 in \(\mathbb R^n\).
• On cellular-compactness and related properties
• Incompactness in regular cardinals
• Singular compactness and definability for \(\Sigma\)-cotorsion and Gorenstein modules
• scientific article; zbMATH DE number 3980015 (Why is no real title available?)

This page was built for publication: Cellular objects and Shelah's singular compactness theorem

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