In category theory, an exact functor is a specific type of functor that preserves the exactness of sequences or diagrams in the context of abelian categories or exact categories. While the precise definition can depend on the context, here are some key points about exact functors: 1. **Preservation of Exact Sequences:** An exact functor \( F: \mathcal{A} \to \mathcal{B} \) between abelian categories preserves exact sequences.
New to topics? Read the docs here!