Model Categories as a Chu Construction
Posted by Mike Shulman
A couple years ago I blogged about the polycategory of multivariable adjunctions and how it embeds in the 2-Chu construction . After my talk at the ACT@UCR seminar this week, some folks were hanging out at the category theory zulip, and Reid Barton asked
The theory of model categories is self-dual. Is there some useful way to embed {model categories + Quillen adjunctions} in Chu(something) (similarly to how embeds in )? Where “something” would be some flavor of “half a model category structure”, e.g., a cofibration category?
At first I thought the answer was “no”, but now I think it is “yes”. I don’t know whether the construction is good for anything, but I found it amusing, so I thought I would share.
First of all, let me burst any potential bubbles by saying that our Chu construction isn’t going to know anything about weak equivalences, only about weak factorization systems. A model category is a category with two weak factorization systems satisfying some additional property, so we’ll just impose that extra property as part of defining the sub-polycategory of our Chu construction. In fact it’s even worse than that: our Chu construction won’t know anything about the existence of factorizations, only about lifting properties; thus its objects will be a generalization of categories equipped with two “weak pre-factorization systems”. But I still think it’s interesting.
Recall that a limit sketch is a category equipped with a family of distinguished cones. I won’t require to be small, but I will require the cones to be small. We regard a cone as a functor , where is a category with an initial object (the cone vertex). Thus, for instance, for a cone over a cospan, is a commutative square.
A morphism of limit sketches is of course a functor that takes distinguished cones to distinguished cones. So we get a (2-)category .
Note that if and are categories with initial objects, so is . But importantly, if and represent cones over diagrams of shape and respectively (so that is with a free initial object adjoined, and similarly for and ), then does not represent a cone over a diagram of shape . For instance, if are the free-living arrow, representing cones over single-object diagrams, then is a commutative square, representing a cone over a cospan.
Let’s equip with the following closed symmetric monoidal structure. Given two limit sketches , let be the category equipped with the distinguished cones , for all distinguished cones and . (To make this coherently associative, we may need to pull some trick like strictifying on the domain categories, or assuming that the cones in a limit sketch are closed under precomposition with isomorphisms.) The internal-hom is the functor category equipped with the set of all cones such that for any distinguished cone , the cone is distinguished. This will be the monoidal (2-)category to which we apply the (2-)Chu construction.
Now, suppose is a complete category equipped with a class of maps . We make it a limit sketch by distinguishing every cone over a small diagram such that the induced map is in . Note in particular that this sketch remembers , since a map is in if and only if the corresponding cone is distinguished. Moreover, if is a limit-preserving functor between two such categories, then it is a morphism of limit sketches if and only if it preserves -maps.
Dually, if is cocomplete and has a class , we make a limit sketch in a dual way. Equivalently, this means we make a colimit sketch in which the distinguished cocones are those under a diagram such that the induced map is in .
Now let be complete and equipped with classes , and suppose is a functor that preserves limits in each variable separately. I claim that is a morphism of limit sketches if and only if for any -maps in and in , the induced map is an -map in .
For “only if”, represent and as distinguished cones and ; then by assumption is a distinguished cone in , which is the desired statement.
For “if”, let and be distinguished cones, i.e. and are in . Then is a cone over a diagram whose limit can be equivalently computed as the pullback of and over . But since preserves limits in each variable separately, this is the same as the pullback of and over . So by assumption on and on , the map from to this pullback is an -map in .
Define the -maps in to be the surjections, and regard it as a limit sketch in the above way. Now suppose that is complete and cocomplete and has both classes and , and use them to make and into limit sketches in the above ways. Then the above claim shows that is a morphism of limit sketches if and only if for any -map and -map in , the “Leibniz” pullback corner map is a surjection — which is another way of saying that has the lifting property.
In sum, any bicomplete category equipped with a pair satisfying the lifting property can be regarded as an object of .
A morphism in is just a morphism in , i.e. an adjunction between and , in which the left adjoint is a morphism of limit sketches and the right adjoint is a morphism of limit sketches . Since these two functors preserve limits, this means that the left adjoint preserves -maps and the right adjoint preserves -maps. (Of course, if the pairs are weak factorization systems, either of these conditions implies the other.)
Similarly, a morphism in is a morphism in , i.e. a two-variable adjunction , in which the constituent functors , , and are morphisms of limit sketches. By the above claim again, this is equivalent to saying that has the pushout product property for -maps, while and have the pullback corner property relating -maps in their contravariant domain to -maps in their covariant domain and their codomain. If the pairs are weak factorization systems, any of these conditions implies the other two and says that we have a “two-variable adjunction of wfs”.
Finally, to deal with model categories rather than single weak factorization systems, we duplicate everything. Define a limit bisketch to be a category with one family of “distinguished cones” and a separate family of “acyclic cones” such that every acyclic cone is distinguished. Define a morphism of such to preserve the two classes individually. If and are limit bisketches, let be in which a cone is distinguished if and are distinguished, and acyclic if in addition at least one of and is acyclic. We then get a closed symmetric monoidal (2-)category .
Make a limit bisketch in which all cones are distinguished, while the acyclic cones are induced by the surjections as before. Then for any model category , we make a limit bisketch in which the distinguished and acyclic cones arise respectively from the fibrations and acyclic fibrations as above, while we make a limit bisketch in which the distinguished and acyclic cones arise respectively from the cofibrations and acyclic cofibrations. This ensures that is a morphism of limit bisketches, hence is an object of .
A morphism in between model categories is a morphism in , i.e. an adjunction, whose left adjoint is a morphism of limit bisketches (i.e. preserves cofibrations and acyclic cofibrations) and whose right adjoint is a morphism of limit bisketches (i.e. preserves fibrations and acyclic fibrations) — in other words, a Quillen adjunction. Similarly, a morphism between model categories in is a Quillen two-variable adjunction. In this way, we have a full sub-polycategory of consisting of model categories and Quillen multivariable adjunctions.
Note that the same setup handles enriched model categories as well. For any monoidal model category , we can consider -enriched limit bisketches, and replace by whose distinguished and acyclic cones arise respectively from its fibrations and acyclic fibrations.
It’s interesting to ponder whether the objects of that aren’t model categories have any homotopy-theoretic meaning. They certainly include various known weakenings of model categories, such as left and right semi-model categories, weak model categories, and premodel categories. In fact, Henry’s model structure for model categories lives on a monoidal category of locally presentable categories equipped with two cofibrantly generated weak factorization systems, which seems vaguely related to in a similar way to how the monoidal category of locally presentable categories is related to . Barton’s model structure for premodel categories is probably similar. (Edited to give better citations.)
These examples still have underlying objects of of the form , and limit bisketch structures induced by classes of maps . What about the more general case? I could imagine imposing closure conditions on a limit bisketch ensuring that it behaves something like a fibration category. One might hope that the morphisms whose classifying cone is distinguished or acyclic behave like fibrations or acyclic fibrations, respectively, and that the additional distinguished and acyclic cones might carry more useful information about limits and colimits. (In particular, we could relax the assumption about which (co)limits are required to exist in the first place.) A general object of with such conditions on both components would be something like a cofibration category related to a fibration category by a profunctor. It would be tempting to call such a thing a “polarized model category”. Probably the categories of cofibrant and fibrant objects in an ambient model category would be an example. But I don’t know whether there would still be interesting homotopy theory visible.
Re: Model Categories as a Chu Construction
I just made an interesting connection. In Garner’s paper The Isbell monad he defined a notion of “cylinder factorization system” involving orthogonality between a set of cones (over diagrams) and cocones (under diagrams). I believe that for a category , to make an object of is precisely to equip with an analogously-defined weak cylinder factorization system. (We would get strict/orthogonal cylinder factorization systems if we instead took the dualizing object to be a limit sketch with only its actual limit cones rather than its weak limit cones.) Similarly, an object of of the form should be a category with two weak cylinder factorization systems.
That gives an interesting gloss on the sense in which these objects, at least, generalize model categories: any weak factorization system yields a weak cylinder factorization system, and any weak cylinder factorization system has an underlying weak factorization system, but not every weak cylinder factorization system is determined by its underlying weak factorization system.