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

3
votes
0answers
45 views

Showing epimorphism without using the Freyd-Mitchell Embedding Theorem

In an Abelian category $\mathscr{C}$ consider a commutative diagram as follows: $$\require{AMScd}\begin{CD} 0@>>>\ker f@>\theta>>W @>{f}>> Y\\ @. @. @V{\phi}VV @|{id} \\ @. ...
1
vote
1answer
24 views

$\operatorname{Ext}^{n}$ as the class of Yoneda extensions of degree $n$.

Given an abelian category $\mathcal{A}$, we can define $\operatorname{Ext}^{n}(A,B)$ as the class of extensions of degree $n$ of $A$ by $B$. How can one prove that $\operatorname{Ext}^{n}(A,B)$, is ...
6
votes
1answer
76 views

Is it possible for $R \oplus M$ and $R \oplus N$ to be isomorphic to each other if $M$ and $N$ are not isomorphic?

Suppose $M$ and $N$ are non-isomorphic $R$-modules (where $R$ is a commutative ring with a unit element).Can we conclude that $R \oplus M \not\simeq R \oplus N$ ? If not in this most general ...
1
vote
1answer
35 views

A linear category is a Vect-module

I would like to know how to show that any linear category is a $\mathrm{Vec}$-module. Here $\mathrm{Vect}$ denotes a category of finite dimensional vector spaces. More general statement can be found ...
0
votes
2answers
40 views

Subcategory of category of Module satisfies SSA?

Let $\mathcal{D}=Mod-A$ be a category of module over an Algebra $A$. and $\mathcal{C}$ be a subcategory of $\mathcal{D}$, I have the following questions:- Is $C$ complete category? Is $\mathcal{C}$ ...
2
votes
1answer
45 views

adjoint functor and subcategories

First at all i have to say I am very new to categories (just basic definition). My Question:- We have two categories ( $\mathcal{C},\mathcal{R}$) object in both of these two categories are module ( ...
1
vote
0answers
31 views

When are sheafification and the embedding of sheaves into presheaves exact functors?

Let $\text{PreSh}(X, \mathsf{A})$ and $\text{Sh}(X, \mathsf{A})$ be the categories of $\mathsf{A}$-valued presheaves and sheaves on $X$, respectively. Here, $\mathsf{A}$ is a category such that we ...
2
votes
0answers
44 views

Are product / coproduct projections / inclusions 'semistrict'?

Let $\mathbf{C}$ be a category with zero object, kernels, and cokernels. Then, a morphism $f\colon A\rightarrow B$ in $\mathbf{C}$ is semistrict iff the canonical map $\operatorname{Coker}(\ker ...
0
votes
0answers
39 views

Establish canonical isomorphism $Z^{Y \times X} \cong (Z^Y)^X$ for objects $X, Y$ and $Z$ from $\mathcal{AB}$ category of Abelian groups

Let $X^Y := \mathsf{Hom}_{\mathcal{AB}}(Y, X)$ be a set of all morphisms from objects $Y$ to $X$ from Abelian groups category $\mathcal{AB}$. Let $X \times Y$ be a product and $X + Y$ be a coproduct ...
1
vote
1answer
43 views

Homotopy of chain complexes (category theoretic proof)

I know the usual proof of the fact that if a morphism between chain complexes $f$ is homotopic to zero then it induces the $0$ map on cohomology. I was wondering if there is an easy proof of this ...
4
votes
0answers
82 views

Sheaf cohomology via resolutions vs. derived categories

So I know that when introducing sheaf cohomology, there are two main approaches via derived categories, and a perhaps more "down to earth" method of resolving by acyclic, fine, soft, sheaves. I'm ...
1
vote
1answer
26 views

Composition of stable-pseudomonomorphisms

Terminology Let $\mathbf{C}$ be a finitely-complete finitely-cocomplete category with zero object (not necessarily additive!). A morphism $f\colon A\rightarrow B$ is a pseudomonomorphism iff ...
0
votes
0answers
35 views

Equalizers in abelian categories

I'm trying to prove that hom-sets in an abelian category have a canonical abelian group structure, working with this definition of an abelian category: A category is abelian if It has a ...
0
votes
1answer
37 views

A question about filtered colimits in a category of representations

For $k$ a field, are filtered colimits exact in the category $\mathbf{Rep}_k(G)$ of (finite-dimensional) $k$-representations of a group $G$? I can neither prove it nor find a counterexample.
4
votes
2answers
175 views

Flat Modules are Filtered Colimits of Free Modules

A result by Wraith and Blass states that every flat module is a filtered colimit of free modules (see nLab, Thm 1). I am wondering if this is simply a corollary of Yoneda's density theorem which ...
0
votes
0answers
55 views

An exact sequence of inverse systems of $R$-modules

Let $$0\longrightarrow \big\{A_n,f_{mn}\big\}_{m \leq n} \overset{\Phi}\longrightarrow \big\{B_n,g_{mn}\big\}_{m \leq n} \overset{\Psi}\longrightarrow \big\{C_n,h_{mn}\big\}_{m \leq n} ...
3
votes
1answer
41 views

An identity map which is not null-homotopic

I have some problems in understanding how the definition of a null-homotopic cochain map actually works. Maybe I lack concrete examples. Let $f^{.}:X^{.}\longrightarrow Y^{.}$ a cochain map of ...
4
votes
0answers
45 views

When modular tensor categories are equivalent?

I would like to know when we say that two modular tensor categories are equivalent. Is it true that two modular tensor categories are equivalent if they are equivalent as monoidal categories? Or do ...
3
votes
2answers
110 views

What is the most general category in which exist short exact sequences?

Let $A,B,C$ be objects, $0$ the final object, and $f:A\to B$ and $g:B\to C$ morphisms in some category. Consider the sequence: $$ 0 \to A \to B \to C \to 0\;. $$ I would like to say something ...
1
vote
1answer
24 views

Converse to: Equivalent conditions for a preabelian category to be abelian

In the following question: Equivalent conditions for a preabelian category to be abelian. How is the converse easily shown? I see why every monomorphism, f, is the kernel of the cokernel of f, but why ...
1
vote
2answers
39 views

Adjoint pair of functors and cogenerator elements

Let $F:\mathcal{A} \rightarrow \mathcal{B}$ and $G:\mathcal{B} \rightarrow \mathcal{A}$ be additive functors between abelian categories, such that $(F,G)$ is an adjoint pair. If $B \in \mathcal{B}$ is ...
1
vote
1answer
51 views

Exactness of a right adjoint functor

Let $F: \mathcal{A} \longrightarrow \mathcal{B}$, $G: \mathcal{B} \longrightarrow \mathcal{A}$ be two additive functors between abelian categories, such that $(F, G)$ is an adjoint pair. I want to ...
2
votes
1answer
68 views

Direct sums of semisimple objects

Let $\mathcal{A}$ be an abelian category. Call an object $M\in\mathcal{A}$ semisimple if every exact sequence $0\longrightarrow M'\longrightarrow M\longrightarrow M''\longrightarrow 0$ splits. Is it ...
2
votes
2answers
50 views

Subobject of a direct sum in terms of components?

Let $\mathbf C$ be an abelian category containing arbitrary direct sums and let $\{X_i\}_{i\in I}$ be a collection of objects of $\mathbf C$. Consider a subobject $Y\subseteq \bigoplus_{i\in I}X_i$ ...
0
votes
1answer
38 views

Intuition behind $Ext^1(A,\,C)$

So I recently asked a question concering $Ext^1(A,\,C)$ regarding the connection between isomorphism and the congruence '$\equiv$' (Where am I making a mistake with $Ext^1(A,C)$?). Suppose, for ...
2
votes
0answers
32 views

Is $\Lambda$ essentially the unique solution to $F(M)\cong\frac{F(M\oplus R)}{F(M)}$?

Let $R$ be a commutative ring and let $F$ be a functor $\mathbf{Mod}_R\rightarrow \mathbf{Mod}_R$. Then for a module $M$ the split mono $M\rightarrow M\oplus R$ gives a split mono $F(M)\rightarrow ...
0
votes
1answer
35 views

Where am I making a mistake with $Ext^1(A,C)$?

I am learning about $Ext^1(A,C)$ and how it forms a group under '$+$', the Baer sum and I am clearly missing the point somewhere. So, let us suppose for simplicity that $Ext^1(A,C)\cong\mathbb{Z}/3$. ...
2
votes
1answer
65 views

Five Lemma with category theory

I know how to prove the 5 Lemma by diagram chasing. I would be interested in seeing a proof which only uses category theory. Does anybody know some reference where this is done?
0
votes
0answers
9 views

Proving that $(Tor_n(\_\ ,N))_n$ is a universal homological $\delta$ functor

Problem: Let $N$ be a left $R$-module, for some ring $R$. Let $T_n$ denote $Tor^R_n(\_\ , N)$. Let $(S_n)$ be another homological delta-functor from $mod$-$R$ to $Ab$, with a natural transformation ...
0
votes
0answers
26 views

Derived functors on 2 term exact sequence

Suppose we have a not-short exact sequence 0 -> A -> B -> 0 in some abelian category. Now let us apply right exact functor F: F(A) -> F(B) -> 0. So could I consider a left derived functor H to obtain ...
1
vote
1answer
56 views

Isomorphic kernels imply pullback?

In Hilton/Stammbach's A Course in Homological Algebra, they are treating the Ext functor, and they give the following lemma: [][2 He implies (but doesn't say) that the same is not true if we ...
1
vote
1answer
52 views

Coproducts and products are same in any preadditive category

Here is the proof that coproducts and products are same in any preadditive category from the Stack project. I have few questions regarding the above proof. I don't understand what do they mean by ...
8
votes
1answer
49 views

Does $\cdots \to G_1\overset f\to G_2 \overset g\to G_3\to \cdots$ exact imply $0\to \ker(g) \to G_2 \to \operatorname{coker}(f)\to 0$ exact?

Given a (part of a) long exact sequence of abelian groups (or modules over some commutative ring) $$ \cdots \to G_1\overset f\to G_2 \overset g\to G_3 \to \cdots $$ we have the short exact sequence $$ ...
1
vote
1answer
47 views

Splitting lemma for many (at least 3) components

I am interested in such version of splitting lemma: So given short exact sequence $\hskip2.5in$ we have three equivalent statements: short exact sequence is right split, i.e there is map $t: ...
3
votes
0answers
32 views

Projective objects of chain category

I am tempted to think that the projective objects in the chain category $\text{Ch}(\mathcal C)$ for $\mathcal C$ abelian are exactly the complexes $P_\bullet$ for which each $P_i$ is projective. Is ...
1
vote
1answer
52 views

About a Corollary of Yoneda's Lemma

I am reading Assem-Simson-Skowronski's book "Elements of The Representation Theory of Associative Algebras". I do not understand a Corollary 6.2, (IV. 6.2, Functorial Aproach to almost split). It says ...
1
vote
0answers
52 views

Some propreties about $ \mathfrak{Coh}_X $ and $ \mathfrak{QCoh}_X $.

I would like to know : why is the category $ \mathfrak{Coh}_X $ of coherent scheaves the smallest abelian category containing line bundles ? Why is the category $ \mathfrak{QCoh}_X $ of quasi ...
2
votes
1answer
149 views

Why is Grp not an Abelian Category?

As I understand it, the category of groups (not just abelian groups) satisfies all of the definitions of an abelian category. It has all kernels/cokernels as well as products/coproducts. Further the ...
2
votes
0answers
42 views

An abelian category such that all objects are injective

The problem is 'Let C be an abelian category such that all objects in C are injective. Prove that all abjects are projective.' If C has enough projectives, then the 'Ext' functor can be defined. Thus ...
1
vote
0answers
39 views

Category of Morphisms Between Modules

Let $A$ be a connected finite dimensional basic $k$-algebra with $k$ an algebraically closed field, and denote by $mod(A)$ the category of finite dimensional left $A$-modules. We define the category ...
1
vote
0answers
24 views

$E^{\bullet} \rightarrow \text{cone}^{\bullet}(u)[-1]$ is a quasi isomorphism

Let $\mathcal{A}$ be an abelian category with enough injectives. Let $E^\bullet$ be a cochain complex with objects in $\mathcal{A}.$ Let $i^n : E^n \hookrightarrow I^n$. Put $F^n = I^n \oplus ...
1
vote
1answer
37 views

Wiki on exact sequences in regular categories

In a regular category, an exact sequence is a diagram which is both a coequalizer and a kernel pair: $$R\overset r{\underset s\rightrightarrows} X\to Y$$ Wiki says that in the abelian case, the above ...
0
votes
1answer
39 views

$P\cong P^\ast$ iff $P$ is a f.g projective module?

Is it true that for a noncommutative $R$, a module $P$ is f.g projective iff $\mathsf{hom}(P,R)=P^\ast \cong P$? Here's what I thought of as a proof: Since $(-)^\ast$ is additive, it preserves ...
0
votes
1answer
58 views

“Every equivalence or duality of abelian categories is exact”

In the wiki entry on exact functors, it is written that "every equivalence or duality of abelian categories is exact". The second example given is of the dual of a vector space. Now I'm pretty sure ...
0
votes
1answer
58 views

Sincere module and Grothendieck Group

Let $A$ be basic finite-dimensional $K$-algebra and $K$ algebraically closed. Let $F$ be the free abelian group generated by representatives of the isomorphism classes of objects in $mod A$. We ...
6
votes
1answer
151 views

Tensor products and morphisms

Let $C$ be semisimple category with simple objects $X_1, \dots, X_r$. Suppose we have a fusion relation $X_i\otimes X_j =\bigoplus_{l=1}^r N_{ij}^l X_l$. Let $m\in \mathbb{N}$ and let $g:mX_j \to ...
0
votes
1answer
22 views

Short Exact Sequence from Single Arrow in Abelian Category

Work in an abelian category. I'm aware that given an exact sequence, one can break it into short exact sequences like so: I was wondering whether it was possible to do derive one of these short ...
1
vote
0answers
37 views

Projective cover and epimorphism

Let $C$ be an abelian category and let $X$ be an object with finite length. Thus there is a composition series $0=X_0 \stackrel{\iota_0}{\rightarrow}X_1\stackrel{\iota_1}{\rightarrow}\cdots X_{n-1} ...
1
vote
1answer
30 views

finite length object and direct sum in an abelian category

Let $C$ be an abelian category and let $X$ an object with finite length. Then $X$ has a composition series $$0=X_0<X_1< \cdots X_n=X$$ where $X_i/X_{i-1}$ is simple for $i=1, \dots, n$. ...
0
votes
1answer
37 views

Epimorphisms in an abelian category

Let $C$ be an abelian category. Let $f:X \to Y$ and $g: Y \to Z$ are morphisms of $C$ and suppose that $g\circ f$ is epimorphism. Question Is $g$ epi as well? If so, I want to know the proof.