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

Warning Definition has a counterpart in classical category theory. In [MR1815045], Adámek and Rosický define a sifted category to be a nonempty category $\operatorname{\mathcal{C}}$ which satisfies the following condition:

$(\ast )$

For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, the nerve of the category $\operatorname{\mathcal{C}}_{X/} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{C}}_{Y/}$ is connected.

It follows from Corollary below that if the simplicial set $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$ is sifted (in the sense of Definition, then the category $\operatorname{\mathcal{C}}$ satisfies condition $(\ast )$. Beware that the converse is false (see Exercise In other words, Definition is not a generalization of the classical notion of a sifted category (instead, it generalizes the notion of a homotopy sifted category, introduced by Rosický in [MR2349711]).