Definition 6.1 (Filtered). We say a category $C$ is filtered if every finite diagram $D:J\to C$ has a cone under it.