## Fun example. Empty colimit does not commute with empty limit

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 …