symmetric monoidal (∞,1)-category of spectra
and
nonabelian homological algebra
Let be a commutative ring.
(Lazard’s criterion)
An -module is a flat module precisely if it is a filtered colimit of free modules.
This is due to (Lazard (1964)). See at flat module for more.