where is a finite discrete category the canonical morphism
is an isomorphism.
is called cosifted if the opposite category is sifted.
A colimit over a sifted diagram is called a sifted colimit.
is a final functor.
This is due to (GabrielUlmer)
More explicitly this means that:
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 presence of the degeneracy map in example 1 is crucial for the statement to work: the category is not sifted; there is no way to connect the cospan to the cospan .
Example 1 may be thought of as a truncation of:
Every filtered category is sifted.
sifted category, sifted (∞,1)-category