In the Category of sets, filtered colimits commute with 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.
Articles by others on the same topic
There are currently no matching articles.