Definition 9.1.0.1. Let $\operatorname{\mathcal{C}}$ be a category. We say that $\operatorname{\mathcal{C}}$ is filtered if it satisfies the following conditions:
- $(\ast _0)$
The category $\operatorname{\mathcal{C}}$ is nonempty.
- $(\ast _1)$
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$, there exists an object $Z \in \operatorname{\mathcal{C}}$ and a pair of morphisms $u: X \rightarrow Z$ and $v: Y \rightarrow Z$.
- $(\ast _2)$
For every pair of objects $X,Y \in \operatorname{\mathcal{C}}$ and every pair of morphisms $f_0, f_1: X \rightarrow Y$, there exists a morphism $v: Y \rightarrow Z$ in $\operatorname{\mathcal{C}}$ satisfying $v \circ f_0 = v \circ f_1$.