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
1answer
80 views

Equalizers exist in an Abelian category

I'm trying to show that equalizers exist in an Abelian category. I am trying to follow a proof my professor did in class, but it's hazy. I understand we first consider the monomorphisms $(1,f),(1,g):A ...
2
votes
2answers
40 views

Extending monics in a commutative diagram

Given a commutative diagram in a Grothendieck category $\mathscr{A}$ \begin{array}{ccccccccc} 0 & \longrightarrow & A' & \overset{i}{\longrightarrow} & A & ...
2
votes
0answers
42 views

Duality in abelian categories.

Let $C$ be an abelian category, with a projective separator $k$. Assume that $C$ has a duality, that's a functor $\ast:C\to C^{\text{op}}$ together with a natural isomorphism $\tau:1\to \ast\ast$ such ...
2
votes
1answer
24 views

Transferring Exactness

If $$\begin{matrix}0&\rightarrow&A&\rightarrow&B&\rightarrow&C&\rightarrow&0\\ &&\downarrow&&\downarrow&&\downarrow\\ ...
2
votes
1answer
43 views

How do the first three axioms of an abelian category imply that hom-sets are enriched over the monoidal category of abelian groups? [duplicate]

According to this article in Wikipedia the following first three axioms in the definition of of an abelian category imply that hom-sets are enriched over the monoidal category of Abelian groups: ...
3
votes
2answers
82 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
1answer
120 views

Example of epimorphisms such that the product is not an epimorphism in the category of sheaves

I've heard that in the category of sheaves over a topological space $X$, products of epimorphisms are not epimorphisms. I think that it's equivalent to saying that $\mathbf{Sh}(X)$ does not satisfy ...
2
votes
1answer
91 views

Why does the pushout preserve monic in an abelian category?

In this question the poster says that, if one of the two maps with the same domain is monic, then the corresponding induced map in the pushout diagram is also monic, in an abelian category. ...
2
votes
4answers
248 views

Why is $\operatorname{Hom}(A, B)$ an abelian group?

Can someone please explain why a Hom-set (the set of all morphisms between two abelian groups $A$ and $B$) does also form an abelian group with addition? By the way both groups $A$ and $B$ have the ...
4
votes
1answer
175 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 ...
9
votes
2answers
109 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 ...
2
votes
2answers
85 views

I've read that abelian categories can naturally be enriched in $\mathbf{Ab}.$ How does this actually work?

Wikipedia defines the notion of an abelian category as follows (link). A category is abelian iff it has a zero object, it has all binary products and binary coproducts, and it has all ...
3
votes
3answers
60 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}$. ...
4
votes
2answers
108 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 ...
2
votes
1answer
71 views

A property of abelian categories

My aim is to show that the category of free abelian groups not an abelian category. I read that I could fix $n \in \mathbb{N} \setminus \left\lbrace 0,1 \right\rbrace $ and consider the ...
2
votes
1answer
43 views

Chinese remainder theorem in abelian categories

The chinese remainder theorem holds in arbitrary abelian categories? I found a generalization in homological categories, but i'm looking for a proof in valid in an abelian category.
2
votes
1answer
48 views

Choice of the right isomorphisms

The question makes sense in every abelian category, but for the moment let's work in the category of vector spaces over a field. PS: I previously posted a similar question which didn't make a lot of ...
1
vote
1answer
48 views

Choosing the right isomorphisms

The question makes sense in every abelian category, but for the moment let's work in the category of vector spaces over a field. Suppose we have two exact sequences $$ 0\to A \to B \to C \to D \to E ...
2
votes
1answer
85 views

If we have finite coproducts in Ab-enriched category, does it follow that the zero object exists?

I am trying to understand what exactly are the axioms for an additive category and I got a bit lost. If we are given a category that is Ab-enriched and admits finite coproducts, can we derive it that ...
2
votes
2answers
119 views

How do we get the canonical cokernel-kernel decomposition in a pre-abelian category?

In a pre-abelian category, every morphism $f: A \to B$ has a canonical decomposition: $$ A \to coker(kerf) \to ker(cokerf) \to B $$ How do we obtain the middle morphism, the one from $coker(kerf)$ ...
0
votes
1answer
82 views

Pullback preserves cokernel

Is that true that in an abelian category $\mathcal{C}$ if I have the pullback diagram: $$ \require{AMScd} \begin{CD} P @>{p_1}>> C\\ @V{p_2}VV @V{g}VV \\ A @>{f}>> B \end{CD} $$ ...
3
votes
1answer
79 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} ...
8
votes
1answer
294 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, ...
2
votes
0answers
275 views

A functor which preserves short exact sequence also preserves long exact sequence?

Let $F: C \to D$ be a functor between abelian categories (e.g. modules over the same ring), and it preserves short exact sequence, then is it also preserves long exact sequence?
1
vote
0answers
80 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
43 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
160 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
82 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
61 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 ...
4
votes
0answers
293 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
142 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
98 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
267 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
227 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
83 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
68 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
142 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
123 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
51 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
80 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
91 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
25 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
138 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
118 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
171 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
85 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
72 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
59 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
88 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
172 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 ...