Filtered category
= Filtered category
{wiki}
A category is filtered when every finite diagram in it admits a cocone. Equivalently, it is nonempty, every pair of objects maps to a common object, and every pair of parallel arrows becomes equal after postcomposition.