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

43
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
1k 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 ...
30
votes
3answers
1k 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 ...
21
votes
4answers
2k 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' ...
18
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
930 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
766 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 ...
15
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 ...
12
votes
1answer
631 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 ...
11
votes
1answer
441 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
315 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
372 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
509 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
2answers
124 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 ...
8
votes
2answers
99 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
594 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
1answer
299 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
410 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: ...
7
votes
0answers
142 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 ? ...
6
votes
1answer
189 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
1answer
112 views

Homotopy of double chain complexes

Consider complexes $(A,d_1), (A',d_1)$, $(C,d_2), (C',d_2)$ and morphisms $f_1,f_2: (A,d_1)\to (A',d_1)$ and $g_1,g_2: (C,d_2)\to (C',d_2)$ of degrees $0$. Consider the functor $(-\otimes-)$, then ...
6
votes
0answers
263 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 ...
5
votes
2answers
700 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
208 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
1answer
114 views

Freyd: “is a subobject of” is not transitive

On page 20 of Abelian Categories, Freyd writes Note that the relation "is a subobject of" is not transitive. On page 91 of Awodey's Category Theory (there are several typos in this page; the ...
5
votes
2answers
83 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
163 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
83 views

Counter-example for abelian category that is not concrete

I am trying to figure out a counter-example for abelian category that is not concrete category. Does the category of representations over a quiver work? Thanks,
5
votes
1answer
247 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
1answer
119 views

Uniqueness of the long exact sequence in homology

A few days ago colleagues of mine and I listened to a talk about spectral sequences and one "application" of them was the proof that any short exact sequence (s.e.s.) $$0 \to A \xrightarrow{f} B ...
5
votes
0answers
105 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
118 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 ...
4
votes
1answer
64 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
287 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
142 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
2answers
135 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
90 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
105 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
62 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
122 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
110 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
64 views

Converse of the Nine-Lemma (aka $ 3\times 3$ lemma)

I have been asked to either prove or disprove a sort of converse to the well know "Nine Lemma" (Also sometimes called the $3 \times 3$ Lemma I believe) The basic concept of the Nine Lemma is that if ...
4
votes
1answer
104 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
56 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
1answer
85 views

Are bicategories and lax 2-categories the same?

My question is that whether the definition of bicategories is the same as the definition of lax 2-categories. I heard that they are both week versions of 2-categories. Are they the same? If not, how ...
4
votes
2answers
100 views

Characterisation 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
242 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
250 views

Why can we use flabby sheaves to define cohomology?

In my algebraic geometry class, we defined sheaf cohomology using flabby sheaves, and the functor on the category of sheaves on a space $X$: $$ D: \mathcal F \mapsto D\mathcal F $$ where $$ ...
3
votes
1answer
122 views

Free abelian groups and abelian categories

Why is the category of free abelian groups not an abelian category?