An exact functor is a functor between categories of modules or abelian groups that preserves the exactness of sequences, meaning it maps exact sequences to exact sequences. This property is crucial in homological algebra as it ensures that the functor respects the algebraic structure and relationships between objects in a category.