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

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 …