Cofiltered limits need not commute with finite colimits in sets
ID: cofiltered-limits-need-not-commute-with-finite-colimits-in-sets
Let with the inverse-system inclusions , and let . Each pushout of is a singleton because is nonempty. Yet , so the pushout after taking limits is , a two-element set. Thus cofiltered limits do not in general preserve pushouts.
New to topics? Read the docs here!