Filtered colimit in a category
ID: filtered-colimit-in-a-category
A filtered colimit in a category is a colimit whose indexing category is a small filtered category. In the Category of sets, filtered colimits commute with finite limits in sets. A filtered colimit of modules is an example of this general categorical construction.
New to topics? Read the docs here!