Definition

A category is filtered when every finite diagram in has a cocone. Dually, is cofiltered when every finite diagram in has a cone.

Examples

Directed Posets

A directed poset is a non-empty poset in which any two elements have a common upper bound.