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

4
votes
2answers
97 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
1answer
40 views

Spectral sequence of a filtered complex: convergence conditions and abelian categories

There is a theorem that if given a filtered complex and the filtration is bounded then there is a spectral sequence whose 0th and 1st page have specific forms and the sequence converges to ...
3
votes
1answer
55 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 ...
0
votes
1answer
27 views

morphism from coproduct into product in abelian categories

Let consider an abelian category with a projective generator $ R $. The canonical morphism $\coprod R\to\prod R $ (taken over the same indexing set $ I $) is monic? The answer is affirmative if $ I $ ...
11
votes
0answers
313 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 ...
7
votes
0answers
133 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
0answers
104 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
116 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
258 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 ...
3
votes
0answers
58 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
0answers
96 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 ...
3
votes
0answers
73 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 ...
3
votes
0answers
85 views

A finite diagram in an abelian category which may not be locally small

This question is motivated by this. I will use the notations of my answer to this. We say a category $\mathcal C$ is locally small if Hom($X, Y$) is small for any $X, Y \in$ Ob($C$). Let $\mathcal ...
2
votes
0answers
38 views

How to prove that a particular (sub-)category has a projective generator.

Suppose that $\mathcal{C}$ is an abelian $k$-linear category ($k$ a field) in which every object is of finite length and every $k$-vector space $\text{Hom}(X,Y)$ is finite dimensional. How does one ...
2
votes
0answers
16 views

Internal additions in additive categories agree with given ones

I know that if $\mathcal C$ is a semiadditive category, then for every two objects $A$, $B$, the set $\mathrm{Hom}_\mathcal{C} (A, B)$ is automatically endowed with a structure of commutative monoid, ...
2
votes
0answers
34 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
0answers
51 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
184 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
0answers
101 views

Semisimple objects in abelian categories

Let $\mathcal A$ be any Grothendieck abelian category and $0 \neq M \in \cal A$ an object. It is true that $M$ admits a simple subquotient? It is certainly true for $\mathcal A=R-Mod$ since $M$ ...
2
votes
0answers
85 views

Image of projective objects.

Let $A$ and $B$ be two abelian categories. Assume that there exist a functor $F$ between them which is exact, full and essencially surjective. If $x$ is a projective object in $A$, then $F(x)$ is a ...
1
vote
0answers
225 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
68 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
38 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 ...
1
vote
0answers
144 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 ...
1
vote
0answers
22 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 ...
1
vote
0answers
137 views

Is $\mathbb{AB}$ an additive (or even abelian) category?

Notation. Let $U_0 \in U_1 \in U_2$ be Grothendieck universes, each containing $\mathbb N$. Let $\mathbf{Cat}_{U_0}$ be the ($U_1$-small) 2-category of all $U_0$-small categories, ...
1
vote
0answers
71 views

invert Grothendieck spectral sequence

I have 4 topoi $A,B,C,D$ (these are associated to abelian sheaves on some sites) and functors (which corresponds to some push-forward of sheaves) $F: A\rightarrow B$ $G: B \rightarrow C $ $H: A ...
0
votes
0answers
15 views

Quasi-isomorphisms are localizing in the homotopy category of cochain complexes

I'm having trouble grokking the proof of the above fact in Gelfand-Manin, Theorem 4 of III.4, page 161-162. I don't think it makes sense to copy out everything here, I'll just assume you have a copy. ...
0
votes
0answers
43 views

exercise involving exactness

I have been stuck on this exercise for a little while. We are in abelian category. How do I show that $0 \rightarrow A \rightarrow B$ is exact if and only if $f: A \rightarrow B$ is a monomorphism? ...
0
votes
0answers
80 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-$ ...
0
votes
0answers
147 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 ...
0
votes
0answers
80 views

What is the cohomological dimension of a functor?

Let $F:\mathcal{C}\rightarrow \mathcal{D}$ be a functor between abelian categories. Could anyone explain what the cohomological dimension the functor $F$ is? We may need some additional condition to ...
0
votes
0answers
115 views

Is push-forward of coherent sheaves a tensor functor?

Given a finite map between two Noetherian schemes $f: X \rightarrow Y$, is $f_*: \operatorname{Coh}{(X)} \rightarrow \operatorname{Coh}{(Y)}$ a tensor functor? If this is not true in general, is it ...