Filtered colimit of modules
ID: 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.
New to topics? Read the docs here!