left exact functor - to watch
1. Definition
Let \(\mathcal{C}, \mathcal{D}\) be a finitely complete categories. Then a covariant functor \(\mathcal{F}: \mathcal{C} \rightarrow \mathcal{D}\) is said to be left exact functor, if it preserves finite limits