Given a ring (or -algebra) , a left -module is flat if tensoring with as a functor from left -modules to left -modules is exact functor (sends short exact sequences to short exact sequences). Note that tensoring with is automatically right exact, so it's equivalent to require that tensoring with be left exact. Since Mod has is finitely complete, this is also eqivalent to requiring that tensoring with be a flat functor.
More explicitly, a left -module is flat if and only if “everything (that happens in ) happens for a reason (in )” — that is, if whenever some identity holds in , we can write for each , with coefficients such that for each . This observation (Wraith, Blass) can be put into the more general context of modelling geometric theories by geometric morphisms from their classifying toposes, or equivalently, certain flat functors from sites for such topoi.
In the case of an abelian category, the notions of exact and flat functors coincide. The ring and/or the module above may be taken nonunital.