exact functor

Let \(\mathcal{C}, \mathcal{D}\) be finitely complete and finitely cocomplete categories and \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) be a functor. Then \(\mathcal{F}\) is said to be exact, if it both preserves finite limits and preserves finite colimits see also:

• left exact functor
• right exact functor
• exact functor and exact sequence