sifted colimit



A sifted colimit is a colimit of a diagram DCD \to C where DD is a sifted category (in analogy with a filtered colimit, involving diagrams of shape a filtered category). Such colimits commute with finite products in Set by definition.


A motivating example is a reflexive coequalizer. In fact, sifted colimits can “almost” be characterized as combinations of filtered colimits and reflexive coequalizers.


See at distributivity of products and colimits.

See also


  • P. Gabriel and F. Ulmer, Lokal präsentierbare Kategorien , Springer LNM 221, Springer-Verlag 1971
  • J. Adamek, J. Rosicky, E.M. Vitale, What are sifted colimits?, TAC 23 (2010) pp. 251–260. (web)

Last revised on February 16, 2015 at 20:08:56. See the history of this page for a list of all contributions to it.