There is a model category structure on Set in which the cofibrations are the monomorphisms, the fibrations are maps which are either epimorphisms or have empty domain, and the weak equivalences are the maps f : X → Y such that X and Y are both empty or both nonempty.

In order for the lifting axioms to hold we need the axiom of choice. Suppose we want to avoid the axiom of choice. One option seems to be to replace "epimorphism" with "map which has a section" everywhere. Can we instead leave the definition of fibration unchanged and change the definition of cofibration?

(Apologies if this question turns out to be meaningless or trivial; I have not thought about it much nor do I often try to avoid using the axiom of choice.)