Epis and monos which must be isos. Fieldhouse, David J. (1984) International Journal of Mathematics and Mathematical Sciences
Essential properties of pro-objects in Grothendieck categories Timothy Porter (1979) Cahiers de Topologie et Géométrie Différentielle Catégoriques