Understanding the small object argument
From MaRDI portal
Abstract: The small object argument is a transfinite construction which, starting from a set of maps in a category, generates a weak factorisation system on that category. As useful as it is, the small object argument has some problematic aspects: it possesses no universal property; it does not converge; and it does not seem to be related to other transfinite constructions occurring in categorical algebra. In this paper, we give an "algebraic" refinement of the small object argument, cast in terms of Grandis and Tholen's natural weak factorisation systems, which rectifies each of these three deficiencies.
Let \(J\) be a set of morphisms in a category \({\mathcal C}\). The small object argument is a transfinite construction used to obtain a weak factorisation system in \({\mathcal C}\). In this paper the author gives a modification of the small object argument with better properties than the standard argument: the transfinite sequences involved always converge; the factorisations are freely generated by \(J\) in a suitable sense; the process can be regarded as a special case of a well-known free monoid construction.
Recommendations
Cites work
- A Quillen model structure for 2-categories
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Braided tensor categories
- Categories of continuous functors. I
- Coherence for tricategories
- Constructions of factorization systems in categories
- Enrichment over iterated monoidal categories
- Exploring the gap between linear and classical logic
- Homotopical algebra
- scientific article; zbMATH DE number 1799497 (Why is no real title available?)
- Iterated monoidal categories
- Kan extensions in enriched category theory
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Natural weak factorization systems.
- The low-dimensional structures formed by tricategories
- Two-dimensional monad theory
Cited in
(62)- 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
- On a fat small object argument
- Quillen's small object argument in the category of firm modules.
- A generalization of Quillen's small object argument
- \(t\)-structures are normal torsion theories
- 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
- Lax orthogonal factorisation systems
- Cyclic multicategories, multivariable adjunctions and mates
- Weak model categories in classical and constructive mathematics
- Homotopical resolutions associated to deformable adjunctions
- Semantics of higher inductive types
- From torsion theories to closure operators and factorization systems
- On factorisation systems for \textbf{Ord}-enriched categories and categories of partial maps
- Detecting model categories among Quillen categories using homotopies
- Higher stabilization and higher Freudenthal suspension
- Hom weak ω-categories of a weak ω-category
- Elementary fibrations of enriched groupoids
- Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing
- Lax orthogonal factorisations in ordered structures
- Iterated algebraic injectivity and the faithfulness conjecture
- Categories of weak fractions
- Type theory and homotopy
- Database queries and constraints via lifting problems
- MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- Understanding the small object argument
- A skew approach to enrichment for Gray-categories
- Towards a constructive simplicial model of Univalent Foundations
- Sweedler theory of monads
- Enhanced 2-categories and limits for lax morphisms
- Computads for weak -categories as an inductive type
- Kripke-Joyal forcing for type theory and uniform fibrations
- Lifting twisted coreflections against delta lenses
- Examples and cofibrant generation of effective Kan fibrations
- Formalizing the algebraic small object argument in UniMath
- Frobenius structure and the Beck-Chevalley condition for algebraic weak factorization systems
- -weak equivalences between weak -categories
- An enriched small object argument over a cofibrantly generated base
- The univalence principle
- Algebraic models for higher categories
- Monads on higher monoidal categories
- A toolkit for structured lifts
- The equivariant model structure on cartesian cubical sets
- Separating path and identity types in presheaf models of univalent type theory
- 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
This page was built for publication: Understanding the small object argument
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5896982)
