Skip to main content
4 of 5
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

How to get by with only functorial cylindrical objects?

In the excellent "A Handbook of Model Categories" (2021), cofibrant and fibrant homotopies are defined exactly as it seemed natural to me: immediately through functorial cylindrical objects / path space objects (hereinafter I will only talk about cylindrical objects), and the concept of non-functorial cylindrical objects in general not mentioned. But for proofs of elementary statements such as "cofibrate homotopy is an equivalence relation if dom is a cofibrant" Scott Balchin refers to Hovey, who proves symmetry and transitivity by constructing new cylindrical objects.

I would like to dispense with the notion of a non-functorial cylindrical object altogether. Instead, I am attracted by the search for natural operations on functorial cylindrical objects. For example, applying the cofibrate functorial factorization to the automorphism $\rm{swap}$ (of the codiagonal morphism) defines a natural automorphism of a cylinder, which gives a natural proof of the symmetry of cofibrate homotopy.

To prove transitivity, it is natural to glue two cylinders along the upper and lower bases and construct a natural isomorphism of the resulting 'long cylinder' $A \times 2I$ with the standard cylinder $A \times I$. It is easy to see that this is sufficient for gluing homotopies, i.e. transitivity.

In an arbitrary model category, such an isomorphism definitely cannot exist: say, in a trivial model structure $\rm{Cofib} = \cal{C}, \rm{Fib} = \rm{Iso}~\cal{C}, \rm{WeakEq} = \cal{C}$, it is easy to see that that $A \times I = A \amalg A, \; A \times 2I = A \amalg A \amalg A$ (although all cylindrical objects in any model category are weakly equivalent). Is there a natural wide class of model categories (possibly with an additional structure) in which it is possible to construct a natural isomorphism of $A \times I \to A \times 2I$ (at least for cofibrates $A$)? Or does the desire to limit ourselves to such categories select convenient model categories for some interesting homotopy categories? (I'm just starting to learn model categories)