Sifted category
= Sifted category
{wiki}
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.