Definition 12.10.5. Let $\mathcal{A}$, $\mathcal{B}$ be abelian categories. Let $F : \mathcal{A} \to \mathcal{B}$ be an exact functor. Then the full subcategory of objects $C$ of $\mathcal{A}$ such that $F(C) = 0$ is called the kernel of the functor $F$, and is sometimes denoted $\mathop{\mathrm{Ker}}(F)$.

There are also:

• 3 comment(s) on Section 12.10: Serre subcategories

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).