Zoran Skoda filtered category

The cardinality of a small category is the cardinality of its set of arrows.

A category CC is κ\kappa-filtered where κ\kappa is an infinite regular cardinal if for every diagram in d:D→Cd: D\to C of cardinality smaller than κ\kappa there is a cone over dd.

A category is filtered if it is ω\omega-filtered. Alternatively it is a nonempty category such that certain elementary types of finite diagrams have cones.

The importance is in the fact that if CC is small and filtered, the colimits of functors C→SetC\to Set commute with finite limits in SetSet, and conversely, a small category is filtered iff the colimits of all CC-colimits in SetSet commute with finite limits.

See filtered limit in nnLab.

Created on February 2, 2011 at 20:41:22. See the history of this page for a list of all contributions to it.