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 …