\begin{definition}[Definition:Filtered Category]
Let $\mathbf I$ be a category.
$\mathbf I$ is '''filtered''', when:
:$\mathbf I$ is not empty
:For every two objects $i$ and $i'$ of $\mathbf I$, there exists an object $k$ and morphisms $f: i \to k$ and $f' : i' \to k$
:For every two objects $i$ and $j$ of $\mathbf I$ and every two morphisms $u : i \to j$ and $v : i \to j$, there exists an object $k$ a morphism $w : j \to k$, such that $w \circ u = w \circ v$.
Category:Definitions/Category Theory
\end{definition}