Essential localizations and infinitary exact completion. Vitale, Enrico M. (2001) Theory and Applications of Categories [electronic only]
Essential properties of pro-objects in Grothendieck categories Timothy Porter (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques