related by the Dold-Kan correspondence
The canonical model structure on Cat is a model structure which encapsulates part of category theory as a version of homotopy theory. It is a special case of the general notion of canonical model structure on categorical structures, and is also called the trivial model structure or the categorical model structure. Its weak equivalences are the equivalences of categories and its homotopy category is Ho(Cat), the category obtained from the 1-category by identifying naturally isomorphic functors. See the Catlab for the theory of this structure.
Assuming the axiom of choice, the canonical model is the unique model structure on such that the weak equivalences are categorical equivalences (thus justifying the word ‘canonical’).
On this page we give a concise construction of the canonical model structure, as well as two variants that make sense in the absence of the full axiom of choice.
For purposes of this page, Cat will denote the 1-category of small categories and functors, and our categories are all strict categories as in ordinary set-theoretic foundations. We write for the set of objects of a small category . Define a functor to be:
We claim that this defines a model structure. It is easy to verify that the weak equivalences satisfy the 2-out-of-3 property; thus it remains to show that (acyclic cofibrations, fibrations) and (cofibrations, acyclic fibrations) are weak factorization systems.
Suppose given a square
in which is a cofibration and a fibration.
Suppose first that is acyclic. It is easy to see that the acyclic fibrations are precisely the equivalences of categories that are surjective on objects. Thus, since (mono, epi) is a weak factorization system on Set, we can define filling the square, and then full-faithfulness of gives a unique definition of on arrows.
Now suppose that is acyclic, so that is injective. Since is essentially surjective, we can choose, for each , an isomorphism . We then have , so since is an isofibration, we can also choose, for each , an isomorphism such that . Define to be on the image of and to take to . We can define on arrows by composing with the isomorphisms to make it a lifting.
It remains to prove the factorization axioms. Suppose given a functor . First, define , and make into a category in the unique way such that the map induced by and is fully faithful. Since it is surjective on objects, it is an acyclic fibration, and clearly the induced map is injective on objects, i.e. a cofibration.
Next, define to be the category of triples where is an isomorphism in . In other words, it is the strict iso-comma category . The projection is easily shown to be an isofibration, while the functor defined by is an injective equivalence.
This completes the proof. Note that the two factorizations constructed above are in fact functorial. This model structure is easily seen to be cofibrantly generated, although the above factorizations are not those constructed from the small object argument (though they are closely related to the algebraic weak factorization systems produced from Richard Garner’s modified small object argument).
Recall that Rezk’s classifying diagram for a (small) category is the bisimplicial set defined by , where is the standard -simplex considered as a category and is the groupoid completion functor (i.e. ). There is then an adjunction
A remarkable and perhaps surprising result (and surprisingly not better known!) is that there is just one model structure on 1 whose equivalences are the usual categorical equivalences. This result justifies the term “canonical”.
The proof we present below is adapted (with minor changes) from a proof given by Chris Schommer-Pries. See also this MathOverflow thread, particularly the answer given by Steve Lack (with a pertinent comment by Denis-Charles Cisinski).
Let denote any model structure on whose weak equivalences are categorical equivalences. We will prove that -fibrations are exactly canonical fibrations and that -cofibrations are exactly canonical cofibrations.
The terminal object is -cofibrant, i.e., the inclusion in is an -cofibration.
Let be any noninitial category; by a standard result of model category theory, there is an -cofibrant replacement , a weak equivalence such that is a cofibration. This is noninitial and therefore has as a retract; thus is -cofibrant since cofibrant objects are closed under retracts.
Each acyclic -fibration is a canonical acyclic fibration.
Each acyclic -fibration has the right lifting property with respect to -cofibrations. The right lifting property with respect to the -cofibration is exactly the condition of being surjective on objects. Thus acyclic -fibrations are necessarily categorical equivalences that are surjective on objects, i.e., are necessarily canonical acyclic fibrations.
Before giving the next result, we recall that the lifting relation on morphisms gives a Galois connection. Specifically, suppose and are functors, and define if for every morphism from to in the arrow category , i.e., for every commutative diagram
of functors, there is a lifting filling in to make two commutative triangles. As any relation does, this lifting relation gives a Galois connection on subclasses of . General facts about Galois connections may then be applied.
Every canonical cofibration is an -cofibration. Every -fibration is a canonical fibration.
By the Galois connection induced by the lifting relation, Proposition 1 implies that canonical cofibrations form a subset of -cofibrations, and therefore that canonical acyclic cofibrations are a subset of acyclic -cofibrations. Again by the Galois connection, this in turn implies that -fibrations form a subset of canonical fibrations.
At this point, we would like to show conversely that every -cofibration is a canonical cofibration (i.e., is injective on objects); another appeal to Galois connections would then allow us to deduce that every canonical fibration is an -fibration, and we would be done. Let us suppose otherwise, that there exists an -cofibration that is not injective on objects, and derive a contradiction.
For a set , let be the category whose objects are the elements of , with exactly one morphism for any . This gives the codiscrete (or chaotic) functor , which is right adjoint to the forgetful functor that takes a category to its underlying set of objects. For each inhabited set , we have that is equivalent to , and conversely any category equivalent to is isomorphic to some .
If there is any -cofibration that is not injective on objects, then the map () is an (acyclic) -cofibration.
First we observe that for any category , the unit map for the adjunction is an -cofibration. For, the map is an isomorphism on objects and therefore a canonical cofibration; it is an -cofibration by Corollary 1.
By hypothesis, maps two objects of to the same object of , so there is a commutative diagram
Let be a retraction of the injection . By the adjunction , the map corresponds to a map . We form a pushout square
where is an -cofibration (being the pushout of a cofibration ). Thus we have a composite cofibration . It may be verified that is a retract of , i.e., there is a commutative square
where ; this diagram commutes on objects by construction, and it commutes on morphisms because all diagrams commute in . Thus , being a retract of an -cofibration, is also an -cofibration.
The conclusion of Proposition 2 now leads to a contradiction:
If is an acyclic -cofibration, then for any category , every automorphism of is an identity (which is absurd!).
The object of has an -fibrant replacement equivalent to . For any isomorphism of , let be the unique functor taking in to . Then we have a commutative diagram
and the existence of a lift filling in this diagram means that is an identity. In particular, every automorphism of is an identity; since , the same is true of .
In the absence of the axiom of choice, one must distinguish between strong equivalences of categories, which come with an inverse up to isomorphism, and weak equivalences of categories, which are merely fully faithful and essentially surjective on objects. Since weak equivalences of categories still “preserve all categorical information,” we might hope to find a model structure on whose weak equivalences are the weak equivalences of categories. The notion of anafunctor also suggests such an approach, since an anafunctor (the “right” replacement for a functor in the absence of choice) is a particular sort of generalized morphism?: a span of functors in which is a surjective equivalence.
If there is to be such a model structure, however, then since generalized morphisms between fibrant-and-cofibrant objects are all represented by ordinary ones, there must exist “cofibrant categories” and “fibrant categories” such that every anafunctor between fibrant-and-cofibrant categories is equivalent to an honest functor, and every category can be replaced by a fibrant and cofibrant one. It seems unlikely that this would be true without any choice-like axioms, but notably weaker axioms than full AC do suffice.
a cofibration if it is injective on objects, and is a projective object in .
As before, the acyclic fibrations are precisely the weak equivalences that are literally surjective on objects. Now recall that assuming COSHEP, (monics with projective complement, epics) is a weak factorization system on Set. This supplies the lifting of cofibrations against acyclic fibrations. Likewise, the factorization of into a cofibration followed by an acyclic fibration is given by first factoring as , where is a projective cover.
The other factorization works exactly as before, while for lifting acyclic cofibrations against fibrations, we notice that in the original proof, we only needed to apply choice for sets indexed by , which we have assumed to be projective when is a cofibration.
Weak equivalences of categories are easily seen to satisfy the 2-out-of-3 property, so we have a model category. Note that all categories are fibrant in this model structure, while the cofibrant categories are those whose set of objects is projective.
The existence of this model structure implies, in particular, that under COSHEP the category is essentially small, being in fact equivalent to the category of ordinary functors where is a cofibrant replacement for .
Is there a dual model structure in which all categories are cofibrant? This seemingly has to do with stack completion: the fibrant objects would be stacks for the regular coverage of . (Without AC, not all small categories are stacks.) Is Makkai’s axiom of small cardinality selection (which he uses, instead of COSHEP, to prove that is essentially small) sufficient for the existence of an “injective” model structure on Cat?
canonical model structure on