The simplex category is sifted

Proof. The \(\infty \)-category \(\simp \catop \) is nonempty, and the diagonal \(\simp \to \simp \times \simp \) is initial by Reference ? of [Cisinski et al. (2026)]. Passing to opposite categories shows that the diagonal of \(\simp \catop \) is final. □