Filtered colimit in a category (source code)

= Filtered colimit in a category
{title2=$\operatorname{colim}_{j\in J}D(j)$}

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.