Understanding the small object argument

Richard Garner*

*Corresponding author for this work

Research output: Contribution to journalArticle

45 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)247-285
Number of pages39
JournalApplied Categorical Structures
Volume17
Issue number3
DOIs
Publication statusPublished - Jun 2009
Externally publishedYes

Keywords

  • Small object argument
  • Weak factorisation system

Fingerprint Dive into the research topics of 'Understanding the small object argument'. Together they form a unique fingerprint.

Cite this