Definition 13.3.6. Let $\mathcal{A}$ be an abelian category. Let $\mathcal{D}$ be a triangulated category. A *$\delta $-functor from $\mathcal{A}$ to $\mathcal{D}$* is given by a functor $G : \mathcal{A} \to \mathcal{D}$ and a rule which assigns to every short exact sequence

a morphism $\delta = \delta _{A \to B \to C} : G(C) \to G(A)[1]$ such that

the triangle $(G(A), G(B), G(C), G(a), G(b), \delta _{A \to B \to C})$ is a distinguished triangle of $\mathcal{D}$ for any short exact sequence as above, and

for every morphism $(A \to B \to C) \to (A' \to B' \to C')$ of short exact sequences the diagram

\[ \xymatrix{ G(C) \ar[d] \ar[rr]_{\delta _{A \to B \to C}} & & G(A)[1] \ar[d] \\ G(C') \ar[rr]^{\delta _{A' \to B' \to C'}} & & G(A')[1] } \]is commutative.

In this situation we call $(G(A), G(B), G(C), G(a), G(b), \delta _{A \to B \to C})$ the *image of the short exact sequence under the given $\delta $-functor*.

## Comments (0)

There are also: