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!