left adjoint as right exact functor
1. Proposition
Let \(\mathcal{C}, \mathcal{D}\) be finitely cocomplete categories and \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) a functor which is a left adjoint. Then \(\mathcal{F}\) is right exact functor
2. Proof
corollary of: