Definition:Left Exact Functor

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf A$ and $\mathbf B$ be categories.

Let $F : \mathbf A \to \mathbf B$ be a functor.


Then $F$ is left exact if and only if $F$ preserves finite limits.


Sources