Pure morphisms in pro-categories

Pure epimorphisms in categories pro-image, which essentially are just inverse limits of split epimorphisms in image, were recently studied by J. Dydak and F.R.R. del Portal in connection with Borsuk’s problem of descending chains of retracts of ANRs. We prove that pure epimorphisms are regular epimorphisms whenever image has weak finite limits, or pullbacks, or copowers. This improves the results of the above paper, and the results of the present authors on pure subobjects in accessible categories. We also turn to pure monomorphisms in pro-image, essentially just inverse limits of split monomorphisms in image, and prove that they are regular monomorphisms whenever image has finite products or pushouts.