The cardinality of a small category is the cardinality of its set of arrows.
A category is -filtered where is an infinite regular cardinal if for every diagram in of cardinality smaller than there is a cone over .
A category is filtered if it is -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 is small and filtered, the colimits of functors commute with finite limits in , and conversely, a small category is filtered iff the colimits of all -colimits in commute with finite limits.
See filtered limit in Lab.
Created on February 2, 2011 at 20:41:22. See the history of this page for a list of all contributions to it.