# Flatness (mathematics)

Flatness in homological algebra and algebraic geometry means, of an object $A$ in an abelian category, that $- \otimes A$ is an exact functor. See flat module or, for more generality, flat morphism.