Small object argument
In mathematics, especially in category theory, Quillen’s small object argument, when applicable, constructs a factorization of a morphism in a functorial way. In practice, it can be used to show some class of morphisms constitutes a weak factorization system in the theory of model categories.