Filtered category

Summary

A filtered category is a category in which every finite diagram has a cocone. It generalizes a directed set: any two objects map to a common object. Also, any two parallel arrows become equal after composing with a further arrow. Colimits over filtered categories behave like unions, and in sets they commute with finite limits. They are the basis of the theory of locally presentable categories.