Published online by Cambridge University Press: 20 November 2018
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*.