In Waldhausen's *Algebraic K-Theory of Spaces*, he defines a cylinder functor on a category $\mathcal C$ with cofibrations and weak equivalences (henceforth called a *Waldhausen category*) as the following:

![enter image description here][1]

($F_1\mathcal C$ is the category of cofibrations in $\mathcal C$.)

Weibel in his *K-book* defines it like this:

![enter image description here][2]

Finally, Gunnar in [these online notes][3] defines it like this:

![enter image description here][4]
![enter image description here][5]

It's not evident to me that these definitions are all equivalent. Waldhausen's one is possibly the most concise. At first I thought that Weibel was fleshing out what it means for that functor in "Cyl 1" to be exact. If this is to be the case then condition iv. of Weibel should reformulate the fact that the functor of "Cyl1" takes pushouts along cofibrations to pushouts along cofibrations (one of the conditions on the definition of "exact functor"), but it isn't apparent that this is the case, if only for the trivial fact that a pushout in $Arr \mathcal C$ involves more arrows than there are on condition iv.

Gunnar's definition is closer in spirit to Weibel, but it's not really the same either. The map that iv. of Weibel asserts to be a cofibration in the case that $a, b$ are cofibrations, Gunnar's definition takes it to be an isomorphism for any $a,b$... Gunnar doesn't mention weak equivalences, either.

> How do these definitions relate to each other?


  [1]: https://i.sstatic.net/VLfJV.png
  [2]: https://i.sstatic.net/kh6hv.png
  [3]: http://math.stanford.edu/~gunnar/handbook.two.pdf
  [4]: https://i.sstatic.net/b4b6D.png
  [5]: https://i.sstatic.net/Uz5Ac.png