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 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)

Revised on September 11, 2014 15:09:49 by Adeel Khan (