Definition 7

Tag 0DS7, permanent. Cite it as [Bourbaki, Tag 0DS7].

The complexes $\mathrm{Cyl}\,(u)$ and $\mathrm{Con}\,(u)$ are called respectively the cylinder and the cone of the morphism $u$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.