One important property of filtered colimits is that they commute with finite limits in the category of sets.
Theorem: Let be a functor, where is a filtered small category and is a finite category. Then the natural mapping
is an isomorphism.
This statement is used for example to check that …