\begin{definition}[Definition:Left Exact Functor]
Let $\mathbf A$ and $\mathbf B$ be categories.
Let $F : \mathbf A \to \mathbf B$ be a functor.
Then $F$  is '''left exact''' {{iff}} $F$ preserves finite limits.
Category:Definitions/Category Theory
\end{definition}