Definition 9.2.5.1. Let $F: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a functor between categories which admit finite limits. We say that $F$ is left exact if it preserves finite limits.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$