One of the important properties 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, for example, useful to check that a continuous morphism of sites commuting …