On a generalized small-object argument for the injective subcategory problem
A criterion for the existence of an initial completion of a concrete category universal w.r.tḟinite products and subobjects is presented. For metric spaces and uniformly continuous maps this completion is the category of uniform spaces.