An enriched small object argument over a cofibrantly generated base

Abstract

The small object argument is a method for transfinitely constructing weak factorization systems originally motivated by homotopy theory. We establish a variant of the small object argument that is enriched over a cofibrantly generated weak factorization system. This enriched variant of the small object argument subsumes the ordinary small object argument for categories and also certain variants of the small object argument for 2-categories, (2,1)-categories, dg-categories and simplicially enriched categories.