Understanding the small object argument
From MaRDI portal
Publication:5896982
DOI10.1007/s10485-008-9137-4zbMath1173.55009arXiv0712.0724OpenAlexW2172068359MaRDI QIDQ5896982
Publication date: 2 September 2009
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0712.0724
Abstract and axiomatic homotopy theory in algebraic topology (55U35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32)
Related Items
\(t\)-structures are normal torsion theories, Higher stabilization and higher Freudenthal suspension, A characterisation of elementary fibrations, Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra, Higher dimensional categories: induction on extensivity, Monoidal algebraic model structures, Hom weak ω-categories of a weak ω-category, Lax orthogonal factorisation systems, Unnamed Item, Cyclic multicategories, multivariable adjunctions and mates, Accessible model categories, Unnamed Item, Elementary fibrations of enriched groupoids, Elimination of quotients in various localisations of premodels into models, Model bicategories and their homotopy bicategories, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., Combinatorial and accessible weak model categories, A skew approach to enrichment for Gray-categories, On factorisation systems for Ord-enriched categories and categories of partial maps, Towards a constructive simplicial model of Univalent Foundations, Sweedler theory of monads, An orthogonal approach to algebraic weak factorisation systems, Accessible aspects of 2-category theory, On the construction of functorial factorizations for model categories, An algebraic weak factorisation system on 01-substitution sets: a constructive proof, Unnamed Item, Enhanced 2-categories and limits for lax morphisms, Homotopical resolutions associated to deformable adjunctions, Database queries and constraints via lifting problems, A folk model structure on omega-cat, The Frobenius condition, right properness, and uniform fibrations, Homomorphisms of higher categories, Algebraic models for higher categories, Unnamed Item, Monads on higher monoidal categories, Lax orthogonal factorisations in ordered structures, The \(n\)-fold reduced bar construction, Semantics of higher inductive types, Equipping weak equivalences with algebraic structure, Iterated algebraic injectivity and the faithfulness conjecture, The univalence axiom in cubical sets, Cofibrantly generated lax orthogonal factorisation systems, Type Theory and Homotopy, Weak model categories in classical and constructive mathematics, MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two-dimensional monad theory
- Constructions of factorization systems in categories
- Braided tensor categories
- Iterated monoidal categories
- A Quillen model structure for 2-categories
- Enrichment over iterated monoidal categories
- Homotopical algebra
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Kan extensions in enriched category theory
- Categories of continuous functors. I
- The low-dimensional structures formed by tricategories
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Coherence for tricategories
