# Model category structure on Set without axiom of choice

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 \rightarrow 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?

Note that if $A$ is a cofibrant set in this hypothetical model structure then any surjection $X \rightarrow A$ has a section. So it would be necessary that every set admits a surjection from a set $A$ of this type, which seems rather implausible to me. Perhaps the notion of model category needs to be modified in a setting without the axiom of choice.

(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.)

Let me explain the motivation behind this question. I am trying to get a better picture of what category theory without the axiom of choice looks like.

My rough understanding is that in the absence of the axiom of choice we should use anafunctors in place of functors in some if not all contexts. An anafunctor from $C$ to $D$ is a span of functors $C \leftarrow E \rightarrow D$ in which the left leg $E \leftarrow C$ is a surjection on objects and fully faithful. The point is that even under these conditions $E \rightarrow C$ may not have a section. For instance, suppose $C$ is a category with all binary products. There may not be a product functor $- \times -: C \times C \rightarrow C$, because we cannot simply choose a distinguished product of each pair of objects. However, if we define $Prod(C)$ to be the category whose objects are diagrams of the shape $\bullet \leftarrow \bullet \rightarrow \bullet$ in $C$ which express the center object as the product of the outer two, there is a forgetful functor $Prod(C) \rightarrow C \times C$ remembering only the outer objects, and it is surjective on objects (because $C$ has binary products) and fully faithful. Furthermore there is another forgetful functor $Prod(C) \rightarrow C$ which remembers only the center object. Together these define a product anafunctor $C \times C \leftarrow Prod(C) \rightarrow C$.

"Classically" (:= under $AC$) the following paragraph holds: There is a model category structure on $Cat$ in which the cofibrations are functors which are injective on objects, fibrations are the functors with the right lifting property w.r.t. the inclusion of an object into the contractible groupoid on two objects, and weak equivalences are equivalences of categories. In particular the acyclic fibrations are the functors which are surjective on objects and fully faithful, exactly the functors we allow as left legs of anafunctors. Since every category is fibrant in this model structure, we can view an anafunctor from $C$ to $D$ as a representative of an element of $RHom(C, D)$, i.e., a functor from a cofibrant replacement for $C$ to $D$. Of course, every category is cofibrant too so for our cofibrant "replacement" we can just take $C$, and we learn that anafunctors from $C$ to $D$ are the same as functors when we consider both up to natural isomorphism (homotopy).

I would like to understand anafunctors as a kind of $RHom$ also without the axiom of choice. But I cannot use the same definition of the model category structure, because the lifting axioms require $AC$. I would like to keep the same acyclic fibrations, since they appear in the definition of anafunctor, and I would like every object to be fibrant. I cannot really imagine what a cofibrant replacement could look like in this model structure, but then I am not accustomed to working without $AC$.

My original question is related to this one via the functor which assigns to a set $S$ the codiscrete category on $S$, and it seems to contain the same kinds of difficulties.

-
Is there a reason you want to treat empty sets specially? I think there's a simpler model structure in which the cofibrations are the injections, the fibrations are the surjections (or split surjections, if we don't assume choice), and everything is a weak equivalence. (I.e. it is just a single weak factorization system.) –  Mike Shulman Dec 31 '09 at 19:02
Yes, these are the two model category structures in which the cofibrations are the monomorphisms (at least under AC). I gave a rather ad-hoc description of the category I wanted to consider, but it falls into a family of more interesting ones: presheaves on the category of nonempty totally ordered sets of cardinality <= n+1 form a model category whose objects we can identify with the n-coskeletal simplicial sets, and whose homotopy category is that of (n-1)-types. (This works for -1 <= n <= infinity.) –  Reid Barton Dec 31 '09 at 23:05

Indeed, COSHEP (more traditionally called the "presentation axiom" by constructivists) does seem to be what you need in order to get a model structure on Set, or Cat. That's true in a lot of similar cases: cofibrant objects are always "projective" in some sense, and you can't expect to get many projective objects in a category constructed from sets unless you started with enough projective objects in Set itself. So I don't expect that ordinary model category theory will be much good for anything at all if you don't have at least COSHEP. But, thankfully, model categories are not the be-all and end-all of homotopy theory, so we can still formally invert the weak equivalences (functors that are fully faithful and essentially surjective) to obtain anafunctors as a derived hom.

-
Well, there is always the "projective" model structure on Set whose cofibrations are all monomorphisms and whose acyclic fibrations are split surjections. Under COSHEP, we can also form the "injective" model structure, the one we're talking about here, and the two are Quillen equivalent; under AC, they're identical. Without AC there is a "projective" folk model structure on Cat also, where the fibrations have an additional splitting requirement. But it seems to have nothing to do with anafunctors. –  Reid Barton Dec 31 '09 at 23:17
I agree with your conclusion, that we cannot expect model categories to be as effective in a world without any form of AC. I wonder whether there is some other machinery to prove that the category obtained by formally inverting weak equivalences is locally small, to compute its Hom-sets, etc. –  Reid Barton Dec 31 '09 at 23:19
In Makkai's foundational paper on anafunctors ("Avoiding the axiom of choice in general category theory"), he considers the question of whether the category of anafunctors between two small categories is essentially small. He proves that it is if you assume a weak form of AC called the "small cardinality selection axiom," which in turn follows from Blass' axiom of "small violations of choice." –  Mike Shulman Jan 1 '10 at 5:06
I would call the (mono, split epi) model structure on Set the injective one and this one requiring COSHEP the projective one, since the fibrant objects of the first are the injective objects in Set, while the cofibrant objects of the second are the projective objects in Set. Actually, on a general topos there can be three model structures: the "projective" one (relative-projective, epi), which exists iff there are enough projectives, the "injective" one (mono, relative-injective) which always exists, and another one (complemented-mono, split-epi) which also always exists. –  Mike Shulman Jan 1 '10 at 17:17
Oops, I got something backwards, and you're absolutely right. –  Reid Barton Jan 1 '10 at 23:00

I came across the nlab page for the axiom COSHEP (category of sets has enough projectives) which seems to be just what's needed to obtain a model category structure, as usually understood, on Set with the weak equivalences and fibrations I wanted. This is a partial answer to my question, but not totally satisfying from the point of view of my motivation, since anafunctors are supposed to work without any such axiom, as far as I know. So I need to think more about what my question really should be. (But if you think you know what it should be, please tell me!)

-
This is very late, but I hope it gives some insight. One could cook up anafunctors without pseudoinverses, if instead of all surjections one uses a Grothedieck pretopology J on Set which has as covers surjections from some restricted class. I'm thinking of the example of surjections with finite fibres. If p:X->Y is a surjection with infinite fibres with no projective cover P->Y in J for which p admits a section, the anafunctor Y<-C(X) = C(X) has no pseudoinverse. Here C(X) is the groupoid with object set X and arrow set X\times_Y X, with the obvious structure. –  David Roberts Aug 16 '10 at 3:36

For any elementary topos $T$, there is a model category structure on $T$, whose cofibrations are the monomorphisms, and whose weak equivalences are the maps $X\to Y$ such that, either $Y$ is empty, either $X$ is non-empty (the fibrations are the split epimorphisms). In a topos, there exists an internal Hom (written here $\underline{Hom}$), as well as a subobject classifier $\Omega$: it comes with a map $t:1\to \Omega$ which is the universal subobject, in the sense that, for any object $X$ in $T$, pulling back along $t$ induces a bijection $$\text{ { subobjects of X} }\simeq \ Hom(X,\Omega)$$ Using the universal property of $\Omega$, the diagonal $X\to X\times X$ defines a map $X\times X\to \Omega$, whence an embedding of $X$ into its power object: $X\to P(X)=\underline{Hom}(X,\Omega)$. This gives you injective resolutions. We thus have a functorial fibrant replacement $X\mapsto I(X)$, where $I(X)=X$ if $X$ is empty, and $I(X)=P(X)$ otherwise (note that an object of $T$ is fibrant if and only if it is either empty, either injective). It remains to factor maps into a trivial cofibration (resp. cofibration) followed by a fibration (resp. trivial fibration). Let $f:X\to Y$ be a map in $T$. Such a factorization for $f$ is given by the map $X\to F\times Y$ followed by the projection $F\times Y\to Y$, for $F=I(X)$ (resp. $F=P(X)$). Hence we get a model structure on $T$, while we never used the axiom of choice.

Edit: and now, some genuine non sense (not abstract):

This model category structure on $Set$ is rather degenerate though. It seems that, to get model categories in general (on $Cat$ or on simplicial sets), we should change the definition of a model category by asking for lifting properties only internally: given maps $i:A\to B$ and $p:X\to Y$, $i$ has the (internal) left lifting property with respect to $p$ is the map $$Hom(B,X)\to Hom(X,A)\times_{Hom(Y,A)}Hom(Y,B)$$ is an epimorphism. In this way $Cat$ and $SSet$ remain model categories without the axiom of choice.

Edit: here, it seems I have been rather optimistic (see Mike comment below). I was thinking about working above an arbitrary topos (instead of sets), but, if we work externally in a setting without axiom of choice, then the lifting property suggested above is just the usual one, so that my remark seems to be (and is) silly. But what follows still makes sense.

Note that it is easy to get a structure of category of fibrant objects (in the sense of Brown, Abstract homotopy theory and generalized sheaf cohomology, Trans. Amer. Math. Soc. 186 (1974), 419–458) on $Cat$, which is sufficient to have calculus of fractions (up to homotopy), and gives you the abstract tools to explain the good behaviour of anafunctors. As for the size problems when we avoid the axiom of choice, maybe it would be worth looking for an "internal notion of size" to get that the Hom's of any homotopy category of a model category are small in some sense (but I had never thought seriously about this before).

-
I don't see how Cat and SSet "remain model categories without AC" if you use the "internal lifting property." If those are set-valued homs, then of course saying that map is epic is the same as the usual notion of lifting. And if they're Cat-valued homs, then I don't recall (if anyone knows?) exactly what the epimorphisms are in Cat, but as long as they're surjective on objects then saying that map is epic implies the usual lifting property. And likewise in SSet, since epimorphisms are surjective on 0-simplices. –  Mike Shulman Jan 1 '10 at 16:55