Extending to a model structure is not a first-order property

MaRDI QIDQ1998990

Inna Zakharevich, Jean-Marie Droz

Publication date: 10 March 2021

Published in: The New York Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

posetfirst-order logicmodel theorycategory theoryhomotopy theoryQuillen's model category

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Classical first-order logic (03B10) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Preorders, orders, domains and lattices (viewed as categories) (18B35) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Model structures on finite total orders

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relative categories: another model for the homotopy theory of homotopy theories
• Factorization, fibration and torsion
• Three models for the homotopy theory of homotopy theories
• Simplicial localizations of categories
• Bousfield localisation and colocalisation of one-dimensional model structures
• Homotopical algebra
• Replacing model categories with simplicial ones
• Categorical Homotopy Theory
• Higher Topos Theory (AM-170)

This page was built for publication: Extending to a model structure is not a first-order property