# Is every set a filtered colimit of finite sets?

Is the following statement correct in the category of sets?

Let $$X$$ be any set. Then there exists a filtered small category $$I$$ and a functor $$F:I\to \mathrm{Set}$$ such that for all $$i\in I$$ the set $$F(i)$$ is finite, and such that $$X \; = \; \mathrm{colim}_{i\in I} F(i) .$$

Are there references on results of this type in the literature?

So take $$I = P_{\text{finite}}(X)$$ with as morphisms the inclusion maps, and $$F : I \to \text{Set}$$ the inclusion.
One answer already mentions the diagram of finite subsets of $$X$$. You would have to check that taking the union of this system actually is the colimit (which is an easy exercise).