Lemma 4.23.3. Let $F : \mathcal{A} \to \mathcal{B}$ be a functor. Suppose all finite colimits exist in $\mathcal{A}$, see Lemma 4.18.7. The following are equivalent:

$F$ is right exact,

$F$ commutes with finite coproducts and coequalizers, and

$F$ transforms an initial object of $\mathcal{A}$ into an initial object of $\mathcal{B}$, and commutes with pushouts.

## Comments (0)