Lemma 12.12.5. Let $\mathcal{A}, \mathcal{B}$ be abelian categories. Let $F : \mathcal{A} \to \mathcal{B}$ be a functor. If there exists a universal $\delta $-functor $(F^ n, \delta _ F)$ from $\mathcal{A}$ to $\mathcal{B}$ with $F^0 = F$, then it is determined up to unique isomorphism of $\delta $-functors.
Proof. Immediate from the definitions. $\square$
Comments (0)