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.

<img src="https://i.sstatic.net/6fguW.png" width="200" height="200">
<img src="https://i.sstatic.net/OE0Hq.png" width="200" height="180">

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)