nLab
sifted colimit

Contents

Definition

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.

Examples

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

References

  • 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 (132.252.138.233)