Lemma 12.7.3 (010O)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 12: Homological Algebra
Section 12.7: Additive functors
Lemma 12.7.3 (cite)

previous lemma
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 12.7.3. Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories. Let $F : \mathcal{A} \to \mathcal{B}$ be an exact functor. For every pair of objects $A, B$ of $\mathcal{A}$ the functor $F$ induces an abelian group homomorphism

$\mathop{\mathrm{Ext}}\nolimits _\mathcal {A}(B, A) \longrightarrow \mathop{\mathrm{Ext}}\nolimits _\mathcal {B}(F(B), F(A))$

which maps the extension $E$ to $F(E)$ .

Proof. Omitted. $\square$

Comments (0)

There are also:

3 comment(s) on Section 12.7: Additive functors

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (0)

Post a comment