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

1
vote
0answers
76 views

Easy characterization of Cohomology in an Abelian Category

It should be quite an easy question and probably there's also a certain degree of intrinsic silliness in it, but still... Let $\mathcal{C}$ be an abelian category and let $C(\mathcal{C})$ be the ...
1
vote
0answers
39 views

A question about pre-additive category

Let $C$ be a pre-additive category with a zero object $O$. Suppose that every morphism in $C$ has a kernel and a cokernel and that every monomorphism in $C$ is a kernel of some morphism. Prove that ...
3
votes
2answers
133 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. ...
2
votes
1answer
78 views

How to prove exactness implies complex?

In an abelian category, there are notions of exact sequence and complex. Since the objects there may not be abelian groups, the definition of exact sequence and complex are all complicated. And the ...
2
votes
0answers
56 views

Is the requirement that every morphism factors as an epi composed with a mono part of the definition of an abelian category?

Hilton and Stammbach require an abelian category to be an additive category in which 1) all kernels and cokernels exist 2) all monos are the kernel of their cokernel, all epis are the cokernel of ...
2
votes
0answers
233 views

Prove the FHHF theorem using as much abstract non-sense as possible

This is my second attempt to solve exercise 1.6H from Vakil: Assume $F$ is a covariant right-exact functor and show that we get a map $HF^i \rightarrow H^iF$. Attempt to a solution: Apply $F$ to the ...
2
votes
1answer
119 views

Definition of the image as coker of ker == ker of coker?

The standard categorical definition of image is that it is the cokernel of the kernel. Under what nice conditions does this definition coincide with kernel of the cokernel? It coincides for abelian ...
0
votes
0answers
88 views

Exactness of functors as “iff”; conjecture about bifunctors

The definition of (right-/left-) exact functors is that they preserve (right-/left-) exactness of SESs. However, for some certain nice functors, as $\def\Hom{\text{Hom}\,}\Hom (A,-)$ and $A\otimes-$ ...
3
votes
2answers
252 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 ...
2
votes
0answers
191 views

Mistake in contradiction argument to show that sheafification commutes with cokernel

The sheafification functor is a left-adjoint to the forgetful functor. Hence it commutes with colimits. The cokernel is a colimit. Hence the cokernel of a sheafified morphism is the same as the ...
0
votes
1answer
79 views

Counterexample to in $\mathcal{Mod}_A$ colimits of filtered index categories are exact

This is not a true general fact for any abelian category, as Vakil points out in 1.6.12. He gives the following counterexample, which puzzled for it is in the category of abelian groups, and every ...
3
votes
0answers
62 views

Projective Module as a Direct Sum of Left Ideals

I wonder if the following statement is true: Every projective $R$-module is a direct sum of projective left ideals of $R$. Most examples of non-free projective modules I have seen are all left ...
3
votes
2answers
119 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 ...
5
votes
0answers
115 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, ...
0
votes
2answers
47 views

Is there a convention for precedence of operators in an additive category?

The laws for an additive category are that there must be a zero object, binary products, that every Hom-set is an abelian group, and that the morphism addition distributes over composition. My ...
4
votes
1answer
75 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 ...
0
votes
1answer
88 views

Are the hom sets in the category of varieties abelian groups?

This is supposedly (though I know of the proof bud haven't read it) for the Hom sets of noetherian schemes. Since every variety can be thought of as a noetherian scheme then it seems right... when ...
1
vote
0answers
24 views

About a (so very) strong version of flatness

Let $A, B$ rings. WHat are $(A, B)$-bimodule $M$ such that $(-)\otimes_A M: Mod_A \to Mod_B$ preserve all (small) limits? A second question is: the characterization of bimodule ${}_AM_B$ such ...
2
votes
2answers
136 views

Is taking cokernels coproduct-preserving?

Let $\mathcal{A}$ be an abelian category, $A\,A',B$ three objects of $\mathcal{A}$ and $s: A\to B$, $t: A' \to B$ morphisms. Is the cokernel of $(s\amalg t): A\coprod A'\to B$ the coproduct of the ...
3
votes
0answers
108 views

Directed Colimits exact in the category of abelian groups

Starting right from the defintions, what would be the shortest way to prove, that the category of abelian groups, $\mathcal{Ab}$, has exact directed limits (This means for every directed set $I$ is ...
4
votes
1answer
150 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 ...
2
votes
1answer
81 views

When precisely can we replace quotient objects with subobjects in the definition of simple objects?

In a category with zero, a simple object is one that has only two quotients - itself and zero. Firstly - a point of confusion. The definition above says that quotient object requires a congruence, ...
4
votes
1answer
68 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
58 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 ...
5
votes
2answers
84 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 ...
1
vote
1answer
160 views

Characterization of injective objects in abelian categories

In this link it is proved that in an abelian category $\mathcal C$ we have that $f:A\rightarrow B$ is mono iff the sequence $0\rightarrow A\rightarrow B$ is exact, where the arrow from $A$ to $B$ is ...
3
votes
1answer
172 views

Is every right adjoint of a surjective functor fully faithful?

Let $F\colon C\rightarrow D$ a functor, which is surjective and $G$ a right adjoint of $F$. Is $G$ always fully faithful? What if $C,D$ are abelian and $F$ is additive? I know that it is always ...
5
votes
1answer
301 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 ...
3
votes
1answer
62 views

Showing the intrinsic addition of an Abelian Category is associative

Let $\mathcal A$ be an abelian category. Let $(P\oplus Q,\eta_1,\eta_2)$ be the coproduct of $P$ and $Q$, then if $\delta_1=[id_P,0]$ and $\delta_2=[0,id_Q]$, then $(P\oplus Q,\delta_1,\delta_2)$ is ...
2
votes
1answer
81 views

Proof of exactness at the first two non-zero objects in the ker-coker sequence (snake lemma).

I am reading MacLane's chapter on Abelian Categories and I am proving the fact, needed for the snake lemma, that the sequence $0\to \text{Ke}f\to \text{Ke}g\to\text{Ke}h$ is exact at $\text{Ke}f$ and ...
1
vote
2answers
48 views

Does a linear quotient map have sections

Suppose $V$ is a vector space with vector subspace $N$. Then there is a natural projection $$ \pi_N: V \to V/N $$ from the vector space $V$ to the quotient space $VN$ of $V$ modulo $N$. Does ...
4
votes
2answers
127 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 ...
2
votes
1answer
68 views

Is every additive monofunctor between abelian categories left exact?

Is there an additive functor between abelian categories, which preserves monomorphisms, but is not left exact?
3
votes
2answers
126 views

Simple question on exact sequences.

I am just learning about abelian categories and I would like to hear some advice on how to think about the concepts of kernel, cokernel, image etc correctly; I am a bit confused. I am trying to prove ...
5
votes
0answers
127 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 ...
1
vote
2answers
191 views

Questions about epimorphisms and projectives in functor categories

Suppose $I$ is a small category, $R$ is a ring and $_R\mathrm{Mod}$ is the category of left $R$-modules. How do I show that the category $[I,~_R\mathrm{Mod}]$ of all functors from $I$ to ...
2
votes
0answers
52 views

Definition of Exact functors [duplicate]

As we know by definition, a functor for example $T\colon R\textrm{-}\mathsf{Mod}\to\mathsf{Ab}$ (from the category of $R$-modules to the category of abelian groups) is "exact" precisely when for any ...
0
votes
3answers
141 views

Abelian categories with direct sums

Does any abelian category admits direct sums? If not, categories admiting direct sums have a special name? I'm asking this since I am writing a proof that requires direct sums but I only know that ...
1
vote
1answer
206 views

What's stronger: projective or locally free? flat or locally free?

maybe that's an idiot question, however I did not found anything related in the classical references. It's know that a finitely generated projective $A$-module $M$ is locally free ,since each ...
5
votes
2answers
220 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 ...
1
vote
1answer
341 views

The definition of the quotient category in abelian category.

I want to understand the definition of morphisms in this category. My question is how can I construct directed sets and direct systems, and therefore understanding the colimite. Definition: Given a ...
5
votes
1answer
186 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. ...
3
votes
0answers
82 views

Decomposing Semisimple Perverse Sheaves

Assume $\mathbf{G}$ is an algebraic group over an algebraic closure $\overline{\mathbb{F}_p}$ for some prime $p>0$. Let $\mathscr{M}\mathbf{G}$ be the category of all ...
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 ...
0
votes
0answers
154 views

Long Exact Sequence on Homology in an Abelian Category

Let $\mathcal A$ be an abelian category and let $0 \xrightarrow{} X \xrightarrow f Y \xrightarrow g Z \xrightarrow{} 0$ be an exact sequence of chain complexes in $\mathcal A$. I am using the ...
4
votes
1answer
99 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 ...
1
vote
1answer
104 views

Isomorphism between (source of) kernels of parallel arrow of a pullback square, by adjunction

Let $\mathcal A$ be an abelian category, $\alpha_1 \colon A_1 \to B$, $\alpha_2 \colon A_2 \to B$ two morphisms and $A_1 \leftarrow A_1\times_B A_2 \to A_2$ their pullback (with morphisms, say, $p_1, ...
2
votes
2answers
110 views

MacLane's Abelian Categories Chapter

I have just started reading MacLane's chapter Abelian Categories in Categories for the Working Mathematician. I am stuck in the second page, where he discusses the equivalence relation on a set of ...
2
votes
1answer
265 views

split exact complexes and biproducts

I have an split exact complex in an abelian category, that is, a chain complex which is exact and maps $s_n : C_n \to C_{n+1}$ st. $dsd = d$. I would like to prove that this implies that $C_n \cong ...
2
votes
1answer
90 views

Why $Kom(\mathcal{A})$ may not be triangulated, while $D(\mathcal{A})$ may not be abelian?

Let $\mathcal{A}$ be an abelian category, let $Kom(\mathcal{A})$ be the category of complex with a shift functor $T$, and Let $D(\mathcal{A})$ be the derived category of $\mathcal{A}$. Why: (1) ...