Filtered colimit of modules
= Filtered colimit of modules
= Filtered colimit
{synonym}
A filtered colimit of <modules> is a direct limit indexed by a filtered category. Filtered colimits preserve <exact sequences>, and <tensor products> commute with them.