Filtered colimits commute with finite limits in sets
= Filtered colimits commute with finite limits in sets
In the <Category of sets>, filtered colimits commute with <finite limit>[finite limits]. Elements in a finite limiting diagram involve only finitely many representatives and finitely many equalities, all of which can be realized at one common stage of a filtered diagram.