Filtered colimit of modules
= Filtered colimit of modules
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.
= Filtered colimit
{synonym}