Abelian categories are categories that possess most of properties of categories of modules over a ring, e.g. abelian group structure on morphisms, existence of kernels and cokernels of morphisms, existence of direct products and directs sums, etc.

learn more… | top users | synonyms

41
votes
1answer
2k views

Abstract nonsense proof of snake lemma

During my studies, I always wanted to see a "purely category-theoretical" proof of the Snake Lemma, i.e. a proof that constructs all morphisms (including the snake) and proves exactness via universal ...
30
votes
2answers
976 views

What are exact sequences, metaphysically speaking?

Why is it natural or useful to organize objects (of some appropriate category) into exact sequences? Exact sequences are ubiquitous - and I've encountered them enough to know that they can provide a ...
29
votes
3answers
956 views

Intuition behind Snake Lemma

I've been struggling with this for some time. I can prove the Snake Lemma, but I don't really “understand” it. By that I mean if no one told me Snake Lemma existed, I would not even ...
20
votes
4answers
1k views

Proving the snake lemma without a diagram chase

Suppose we have two short exact sequences in an abelian category $$0 \to A \mathrel{\overset{f}{\to}} B \mathrel{\overset{g}{\to}} C \to 0 $$ $$0 \to A' \mathrel{\overset{f'}{\to}} B' ...
17
votes
1answer
2k views

Abelian categories and axiom (AB5)

Let $\mathcal{A}$ be an abelian category. We say that $\mathcal{A}$ satisfies (AB5) if $\mathcal{A}$ is cocomplete and filtered colimits are exact. In Weibel's Introduction to homological algebra, ...
16
votes
1answer
847 views

When is the derived category abelian?

I read in the book Methods of homological algebra of Gelfand and Manin that the derived category of an abelian category $A$ is never abelian. Now to me this seems to be wrong, because if $A=0$ then ...
15
votes
3answers
1k views

How to define Homology Functor in an arbitrary Abelian Category?

In the Category of Modules over a Ring, the i-th Homology of a Chain Complex is defined as the Quotient Ker d / Im d where d as usual denotes the differentials, indexes skipped for simplicity. How ...
15
votes
2answers
716 views

Meaning of “efface” in “effaceable functor” and “injective effacement”

I'm reading Grothendieck's Tōhoku paper, and I was curious about the reasoning behind the terms "effaceable functor" and "injective effacement". I know that in English, to efface something means ...
13
votes
1answer
1k views

Hom is a left-exact functor

If $0 \to A \to B\to C$ is a left exact sequence of $R$-module, then for any $R$-module $M$, $0 \to Hom_R(M,A)\to Hom_R(M,B)\to Hom_R(M,C)$ is left exact. I proved the above, and highlighted what ...
11
votes
1answer
342 views

On equivalent definitions of Ext

Let $A$ be an abelian category and $X$, $Y$ two objects of $A$. Let's define Ext in this way: Ext$^i_A(X,Y)$=Hom$_{D(A)}(X[0],Y[i])$ Where $X[0]$ is the complex with all zeros except in degree 0 ...
11
votes
0answers
302 views

Why do universal $\delta$-functors annihilate injectives?

Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories. Suppose $\mathcal{A}$ has enough injectives, and consider a universal (cohomological) $\delta$-functor $T^\bullet$ from $\mathcal{A}$ to ...
10
votes
1answer
555 views

Equivalent conditions for a preabelian category to be abelian

Let's fix some terminology first. A category $\mathcal{C}$ is preabelian if: 1) $Hom_{\mathcal{C}}(A,B)$ is an abelian group for every $A,B$ such that composition is biadditive, 2) $\mathcal{C}$ has ...
10
votes
1answer
360 views

Limits in the category of exact sequences

Let $\mathbf C$ be an abelian category admitting projective limits. Let's consider the category whose objects are those of the form $$ 0\to A\to B\to C\to 0 $$ and whose morphisms are triples of ...
9
votes
2answers
474 views

Derived functors of torsion functor

Let $A$ be a domain. For every $A$-module $M$ consider its torsion submodule $M^{tor}$ made up of elements of $M$ which are annihilated by a non zero-element of $A$. If $f \colon M \to N$ is a ...
8
votes
1answer
81 views

An explicit imbedding of $(R\mathbf{-Mod})^{op}$ into $S\mathbf{-Mod}$

Given a ring $R$ consider $(R\mathbf{-Mod})^{op}$, the opposite category of the category of left $R$-modules. Since it is the dual to an abelian category and the axioms of abelian categories are ...
7
votes
2answers
507 views

If a functor between categories of modules preserves injectivity and surjectivity, must it be exact?

Let $A$ and $B$ be commutative rings. Let $F$ be a functor from the category of $A$ modules to the category of $B$ modules. Suppose that $F$ preserves injectivity and surjectivity: whenever $f : ...
7
votes
2answers
108 views

The Freyd-Mitchell Embedding Theorem and projective (injective) objects

Given a small abelian category $\mathcal{A}$, the Freyd-Mitchell Embedding Theorem gives me a fully faithful exact functor $F:\mathcal{A}\rightarrow R$-$\mathsf{Mod}$, for some unital ring $R$, so ...
7
votes
1answer
289 views

Example of relative Ext functor

Greetings, I've been reading Maclane's "Homology" and ran into the following question: Let $(R,S)$ be a resolvent pair of ring, i.e $R$ is an $S$-algebra and we have a functor $\Psi \colon ...
7
votes
1answer
378 views

The construction of the localization of a category

I was reading the construction of the localization of a category in the book "Methods of homological algebra" of Manin and Gelfand. Let me remind you the definition of the localization of a category: ...
6
votes
1answer
150 views

The projective model structure on chain complexes

Let $\mathcal{A}$ be an abelian category with enough projective objects and let $\mathcal{M}$ be the category of chain complexes in $\mathcal{A}$ concentrated in non-negative degrees. Quillen [1967, ...
6
votes
0answers
117 views

Has category theory solved major math problems?

All: I am new to category theory. Just wonder if category theory has solved any major math problems for other mathematics fields? or what are the major applications of the category theory ? ...
5
votes
2answers
670 views

Arbitrary products of quasi-coherent sheaves?

I have a short question: Does the category of quasi-coherent sheaves on a scheme have arbitrary products? I know that it does if the scheme is affine and I know that they will not be isomorphic to ...
5
votes
2answers
205 views

Applications of Mitchell's embedding theorem

I don't understand what is the advantage of viewing a particular category as a category of modules over some ring. Can anybody tell me some application of Mitchell's embedding theorem so that I can ...
5
votes
2answers
76 views

A generalization of abelian categories including Grp

The category of groups shares various properties with abelian categories. For example, the Five lemma and Nine lemma hold in Grp. Is there a weakened notion of abelian category which also includes Grp ...
5
votes
1answer
135 views

Additive category and zero map

Let $A$ be an additive category. Namely $A$ has a zero object, $A$ has finite products and coproducts, and Every Hom-set is an Abelian group such that composition of morphisms is bilinear. ...
5
votes
1answer
195 views

Mistake in Popescu's book “Abelian Categories with Applications to Rings and Modules”

Corollary 5.5 a) in chapter 1 on page 13 in Popescu's book "Abelian Categories with Applications to Rings and Modules" says: Let $F\colon C\rightarrow C^\prime$ be a functor and $G$ be a full and ...
5
votes
0answers
102 views

When is $K_0(i)$ an injection?

Suppose that $\mathcal A$ and $\mathcal B$ are two abelian categories such that $\mathcal A$ is a full subcategory of $\mathcal B$. If $i: \mathcal A\rightarrow\mathcal B$ is the inclusion functor, ...
5
votes
0answers
112 views

Properties of quotient categories.

Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre subcategory or "thick" subcategory, such that the quotient functor $T\colon ...
5
votes
0answers
246 views

Abelian categories, axioms AB5 and AB5* and incompatability

This is a homework exercise, so please don't post full solutions to the question below. Grothendieck (I believe) introduced several axioms an abelian category A voluntarily could satisfy. In ...
4
votes
1answer
63 views

Commuting squares in abelian categories

Here $A,B,C$ and $D$ are all objects in an Abelian category. $\require{AMScd} \begin{CD} A @> >> B @> >> C;\\ @VVV @VVV @VVV\\ D @> >>E @> >> F; \end{CD} $ The ...
4
votes
1answer
257 views

Is quasi-isomorphism an equivalence relation?

Let $E^\bullet$ and $F^\bullet$ be complexes on an abelian category; what does it mean to say that $E^\bullet$ and $F^\bullet$ are quasi-isomorphic? Does it only mean that there is a map of complexes ...
4
votes
1answer
137 views

Does “maximal submodule <=> simple quotient module” generalize to abelian categories?

Does the statement "If $A$, $B$ are modules over a commutative ring $R$, then $B$ is a maximal submodule of $A$ if and only if $A/B$ is a simple module" generalize to the setting of abelian ...
4
votes
1answer
87 views

Composition of bicartesian squares

A commutative square is called bicartesian when it is both pull-back and push-out. In an abelian category, consider two pull-back squares $(X)$ and $(Y)$: $$ \begin{array}{ccccc} A & ...
4
votes
1answer
75 views

Factoring morphisms in abelian categories

I am reading the appendix of Charles Weibel's Homological Algebra and have the following question. It is mentioned that every morphism $f: B \to C $ in an abelian category factors as $B \to im(f) \to ...
4
votes
1answer
53 views

Complete abelian categories with projectieve generators are fully abelian.

This is my first time on stackexchange so if you need more detail from me , please ask. I was reading the book "Abelian Categories : An Introduction to the Theory of Functors" by Peter Freyd , and I ...
4
votes
2answers
119 views

(AB1) failure in $\mathcal{K(A)}$, without triangulated categories

I am trying to prove that there exists an abelian category $\mathcal A$ such that its homotopy category $\mathcal{K(A)}$ is (additive but) not abelian, without passing through triangulated categories ...
4
votes
1answer
112 views

intersections in abelian category

Let $\mathcal{A}$ be an abelian category. We fix an object $A$ and we consider the category $mono(A)$ whose objects are the monomorphisms $u:B\rightarrow A$ and where a morphism from $u:B\rightarrow ...
4
votes
1answer
108 views

Mod-$R$, Mod-$S$ and Mod-$R \otimes S$

Let $R,S,T$ be commutative rings and assume that $R,S$ are $T$-algebras. In an answer to this question, Pierre-Yves Gaillard gives an example of an $R \otimes_T S$-module that cannot be written as ...
4
votes
1answer
93 views

Two definitions of homology

Let $f,g$ be arrows in an abelian category such that the composite $gf$ is defined and is given by the zero arrow. I shall try to find a definition for the quotient $\ker g /\operatorname{im} f$, ...
4
votes
1answer
55 views

Existence of product in the category of pre-sheaves of abelian categories

Let $X$ be $Top(X)$ be the category of open sets of $X$ with inclusion maps as morphism. Let $\mathcal{C}$ be abelian category and $\mathcal{C}_x$ denote the category of contravariant functors from ...
4
votes
0answers
44 views

Caracterisation of abelian categories in which colimit of subobjects are subobjects

This question is related to 1 and 2. Given an abelian category $\mathcal{C}$ in which colimit exists. What is a necessary and sufficient condition on $\mathcal{C}$ so that given any $X \in ...
3
votes
2answers
233 views

Does the adjugant of additive functors between abelian categories preserve the abelian structure of the hom-set?

I think the following is a counter-example. I noticed it when trying to prove that the sheafification functor induces isomorphism on the stalks (Vakil 2.4M). As in Vakil (2.6.3) the stalk functor is ...
3
votes
2answers
66 views

Exercise in an abelian category

Supose we have an exact sequence $$A\overset{f}\longrightarrow B\overset{g}\rightarrow C\overset{h}\rightarrow D$$ in an abelian category $\mathcal{A}$. Is it true that $f$ is an epimorphism if and ...
3
votes
2answers
96 views

Derived functors definition

I´m searching for a reference that defines $n^{th}$derived functors in an analogous way to the definition given in Mitchell´s "Theory of Categories" for the $0^{th}$ derived functor of $T$ covariant ...
3
votes
2answers
188 views

Morita equivalence of acyclic categories

(Crossposted to MathOverflow.) Call a category acyclic if only the identity morphisms are invertible and the endomorphism monoid of every object is trivial. Let $C, D$ be two finite acyclic ...
3
votes
3answers
58 views

If $\text{ker }f$ lies in $\mathcal{C}$ then $\text{ker }f$ is the same in $\mathcal{A}$.

I have seen this used as an argument in my textbook: Set-up: Assume $\mathcal{C}$ is a full subcategory of an Abelian category $\mathcal{A}$. Let $f: A \rightarrow B$ be a morphism in $\mathcal{C}$. ...
3
votes
2answers
96 views

Some questions on abelian category

Let $f: C \longrightarrow D$ be a morphism in an abelian category $\mathfrak{A}$ with kernel and cokernel both zero. How can I show that it is an isomorphism? I am not able to find it's inverse. ...
3
votes
1answer
339 views

Definition of a Functor of Abelian Categories

What is the precise definition of a functor of abelian categeries. I've looked on the internet but can't find one. From the Wikipedia definition of an abelian category, I'm guessing that, for two ...
3
votes
1answer
39 views

Quasi-isomorphisms not localizing in Kom(A)

I've been reading up on the construction of derived categories. I understand why we prefer localizing with respect to a localizing class of morphisms (to get a nice representation of morphisms as ...
3
votes
1answer
69 views

Prove an isomorphism via abstract nonsense

Suppose we are working in an abelian category and we have a commutative diagram with exact rows $$ \newcommand{\ra}[1]{\kern-1em\xrightarrow{#1}\kern-1em} ...