The Existence of Injective Effacements

The main result of this paper is little more than a juxtaposition of a remark in [Leroux] (§5, part A), with a theorem of [Banaschewski]. However, the results are individually little known and their juxtaposition not at all. More explicitly, Leroux remarks, in somewhat different form, Let the category X be complete and cocomplete, and have a set of cogenerators. Then a necessary and sufficient condition that there exist infective effacements (with respect to the class of regular monomorphisms) is that X be coregular and satisfy, in addition, condition COEX 4*.