A category $D$ is called sifted if colimits of diagrams of shape $D$ (called sifted colimits) commute with finite products in Set: for every diagram
where $S$ is a finite discrete category the canonical morphism
is an isomorphism.
$D$ is called cosifted if the opposite category $D^{op}$ is sifted.
A colimit over a sifted diagram is called a sifted colimit.
An inhabited small category $D$ is sifted precisely if the diagonal functor
is a final functor.
This is due to (GabrielUlmer)
More explicitly this means that:
An inhabited small category is sifted if for every pair of objects $d_1,d_2\in D$, the category $Cospan_D(d_1,d_2)$ of cospans from $d_1$ to $d_2$ is connected.
Every category with finite coproducts is sifted.
Since a category with finite coproducts is nonempty (it has an initial object) and each category of cospans has an initial object (the coproduct).
The diagram category for reflexive coequalizers, $\{ 0 \stackrel{\overset{d_0}{\to}}{\stackrel{\overset{s_0}{\leftarrow}}{\underset{d_1}{\to}}} 1\}^{op}$ with $s_0 \circ d_0 = s_0 \circ d_1 = id$, is sifted.
The presence of the degeneracy map $s_0 \colon 1 \to 0$ in example 1 is crucial for the statement to work: the category $\{0 \stackrel{\overset{d_0}{\to}}{\underset{d_1}{\to}} 1\}^{op}$ is not sifted; there is no way to connect the cospan $(d_0,d_0)$ to the cospan $(d_1,d_1)$.
Example 1 may be thought of as a truncation of:
The opposite category of the simplex category is sifted.
Every filtered category is sifted.
Since filtered colimits commute even with all finite limits, they in particular commute with finite products.
sifted category, sifted (∞,1)-category
Jiri Adamek, Jiri Rosicky, On sifted colimits and generalized varieties, TAC 8 (2001) pp.33-53. (tac)
Jiri Adamek, Jiri Rosicky, Enrico Vitale, What are sifted colimits?, TAC 23 (2010) pp. 251–260. (tac)
Jiri Adamek, Jiri Rosicky, Enrico Vitale, Algebraic Theories - a Categorical Introduction to General Algebra , Cambrige UP 2010. (ch. 2) (draft)
Last revised on June 27, 2015 at 04:13:23. See the history of this page for a list of all contributions to it.