Understanding the small object argument
From MaRDI portal
Publication:5896982
DOI10.1007/s10485-008-9137-4zbMath1173.55009arXiv0712.0724MaRDI 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
55U35: Abstract and axiomatic homotopy theory in algebraic topology
18C10: Theories (e.g., algebraic theories), structure, and semantics
18A32: Factorization systems, substructures, quotient structures, congruences, amalgams
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Semantics of higher inductive types, Higher stabilization and higher Freudenthal suspension, Hom weak ω-categories of a weak ω-category, Unnamed Item, Elementary fibrations of enriched groupoids, On factorisation systems for Ord-enriched categories and categories of partial maps, Lax orthogonal factorisations in ordered structures, Iterated algebraic injectivity and the faithfulness conjecture, Type Theory and Homotopy, Database queries and constraints via lifting problems, MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS, A skew approach to enrichment for Gray-categories, Towards a constructive simplicial model of Univalent Foundations, \(t\)-structures are normal torsion theories, Lax orthogonal factorisation systems, Homotopical resolutions associated to deformable adjunctions, Enhanced 2-categories and limits for lax morphisms, Algebraic models for higher categories, Monads on higher monoidal categories, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., A folk model structure on omega-cat, Homomorphisms of higher categories, Derived Koszul duality and \(\mathsf{TQ}\)-homology completion of structured ring spectra, The \(n\)-fold reduced bar construction, On the construction of functorial factorizations for model categories, The Frobenius condition, right properness, and uniform fibrations, A characterisation of elementary fibrations, Higher dimensional categories: induction on extensivity, Accessible aspects of 2-category theory, Equipping weak equivalences with algebraic structure, The univalence axiom in cubical sets, Cofibrantly generated lax orthogonal factorisation systems, Monoidal algebraic model structures, Accessible model categories, Elimination of quotients in various localisations of premodels into models, Model bicategories and their homotopy bicategories, Combinatorial and accessible weak model categories, An orthogonal approach to algebraic weak factorisation systems, An algebraic weak factorisation system on 01-substitution sets: a constructive proof, Cyclic multicategories, multivariable adjunctions and mates, Weak model categories in classical and constructive mathematics
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