CatGloss
A category $\mathsf{J}$ is
filtered
if there is a cone under every finite diagram in $\mathsf{J}$.