Sifted category

A small category $\mathcal{J}$ is sifted when it is connected and its diagonal functor $\mathcal{J}\to \mathcal{J}\times \mathcal{J}$ is a final functor. Equivalently, colimits of shape $\mathcal{J}$ in the Category of sets preserve finite products.