Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Definition 4.6.4.3. Let $i: A \hookrightarrow B$ be a monomorphism of simplicial sets. A categorical mapping cylinder for $B$ relative to $A$ is a simplicial set $\overline{B}$ equipped with a morphism $\pi : \overline{B} \rightarrow B$ together with a pair of sections $s_0, s_1: B \rightarrow \overline{B}$ having the following properties:

  • The morphism $\pi : \overline{B} \rightarrow B$ is a categorical equivalence of simplicial sets.

  • The morphisms $s_0, s_1: B \rightarrow \overline{B}$ satisfy $s_0 \circ i = s_1 \circ i$, and the induced map $(s_0, s_1): (B \coprod _{A} B) \rightarrow \overline{B}$ is a monomorphism.

If these conditions are satisfied in the special case $A = \emptyset $, we will simply refer to $\overline{B}$ (together with the morphisms $\pi $, $s_0$, and $s_1$) as a categorical mapping cylinder for $B$.