Understanding the small object argument

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.

42 pages; supersedes the earlier arXiv preprint math/0702290; v2: final journal version, minor corrections only

References in corpus (1)

• A Quillen model structure for Gray-categories

Cited by in corpus (49)

• Algebraic weak factorisation systems I: accessible AWFS
• Set theory for category theory
• A necessary and sufficient condition for induced model structures
• Enhanced 2-categories and limits for lax morphisms
• Algebraic model structures
• The Frobenius Condition, Right Properness, and Uniform Fibrations
• Algebraic weak factorisation systems II: categories of weak maps
• Homomorphisms of higher categories
• Comparing composites of left and right derived functors
• On the construction of functorial factorizations for model categories
• Lifting accessible model structures
• Semantics of higher inductive types
• Homotopical resolutions associated to deformable adjunctions
• All $(\infty ,1)$-toposes have strict univalent universes
• Towards a constructive simplicial model of Univalent Foundations
• Weak model categories in classical and constructive mathematics
• Database queries and constraints via lifting problems
• Accessible aspects of 2-category theory
• W-Types with Reductions and the Small Object Argument
• Multitensor lifting and strictly unital higher category theory
• Lax orthogonal factorisation systems
• t-structures are normal torsion theories
• Models of Martin-Löf type theory from algebraic weak factorisation systems
• The Coalgebraic Structure of Cell Complexes
• Monads on higher monoidal categories
• Algebraic models for higher categories
• A constructive account of the Kan-Quillen model structure and of Kan's Ex${}^{\infty }$ functor
• Lifting Problems in Grothendieck Fibrations
• Multivariable adjunctions and mates
• Small object arguments, plus-construction, and left-exact localizations
• Lax orthogonal factorisations in monad-quantale-enriched categories
• Identity Types in Algebraic Model Structures and Cubical Sets
• Computads for weak $\omega$-categories as an inductive type
• An orthogonal approach to algebraic weak factorisation systems
• Realizability of Univalence: Modest Kan complexes
• Foundations of Algebraic Theories and Higher Dimensional Categories
• Monoidal algebraic model structures
• Kripke-Joyal forcing for type theory and uniform fibrations
• A folk model structure on omega-cat
• Cofibrantly generated lax orthogonal factorisation systems
• Accessible model categories
• $\omega$-weak equivalences between weak $\omega$-categories
• t-structures on stable infinity-categories
• Minimal model structures
• Hom weak $\omega$-categories of a weak $\omega$-category
• An abstract view on syntax with sharing
• Segal-type models of higher categories
• Relative elegance and cartesian cubes with one connection
• Elimination of quotients in various localisations of premodels into models