Definition 8.5.11 (Flat module). Let \(R\) be a connective associative ring spectrum. A connective left \(R\)-module \(N\) is said to be flat if the functor \((-) \otimes _R N \colon \RMod _R \to \Sp \) is t-exact.
Generated from the authoritative LaTeX source.