Kerodon

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

Remark 5.3.6.4. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a morphism of simplicial sets and let $W$ be a collection of edges of $\operatorname{\mathcal{D}}$. If $W$ has the two-out-of-six property, then the inverse image $F^{-1}(W)$ also has the two-out-of-six property.