Homotopy types of abstract elementary classes

DOI10.1016/J.JPAA.2020.106461MaRDI QIDQ2223352zbMATH OpenOpenAlexFDO

Authors Tim Campion, Jinhe Ye

Publication date 28 January 2021

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

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

zbMATH Keywords

classifying spacesabstract elementary classesinfinitary logicaccessible categories

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Other infinitary logic (03C75)

Abstract: We prove that for any homotopy type $X$, there is an abstract elementary class $mathcalC$, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type $X$. We provide a few explicit examples.

Recommendations

• scientific article; zbMATH DE number 937396
• scientific article; zbMATH DE number 877845
• Category-theoretic aspects of abstract elementary classes
• Homotopy decomposition of classifying spaces via elementary Abelian subgroups
• Homotopy classification of a certain type of homogeneous spaces
• scientific article; zbMATH DE number 825864
• A topology for Galois types in abstract elementary classes
• Abstract elementary classes and accessible categories
• Abstract homotopy theory and homotopy theory of functor category
• Simple homotopy types and finite spaces

Cites work

• scientific article; zbMATH DE number 3741608 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Abstract elementary classes and accessible categories
• Equipping weak equivalences with algebraic structure
• Higher algebraic K-theory: I
• Simplicial homotopy theory

Cited in

(3)

• Types in abstract elementary classes
• Non-trivial higher homotopy of first-order theories
• CLASSIFYING SPACES AND THE LASCAR GROUP

This page was built for publication: Homotopy types of abstract elementary classes

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