0
votes
0answers
25 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? ...
2
votes
1answer
46 views

Why is $\mathsf{HTAG}$ (Hausdorff, Topological, Abelian Groups) preabelian?

The category of Hausdorff topological abelian groups are commonly cited as an example of a category which is preabelian, but not abelian. I think one reason that is is not abelian comes from the ...
0
votes
2answers
32 views

What is a zero morphism in an abelian category

I am trying to familiarize myself with some basic category theory and I am getting confused with what a $0$-morphism is. If we are in category of say $k$-vector spaces then I am guessing ...
1
vote
1answer
39 views

The intersection of $u_{A} : A \longrightarrow A + B$ and $u_{B} : B \longrightarrow A+B$ is zero.

I am trying to show that the intersection of $u_{A}:A \longrightarrow A+B$ and $u_{B}:B \longrightarrow A+B$ is the zero map. Here, the $u_{A}$ and $u_{B}$ are the embedding maps into the coproduct of ...
1
vote
1answer
39 views

What is the cokernel of $\Bbb Q^{\text{disc}} \hookrightarrow \Bbb R$?

These two should be the standard examples for why Locally compact abelian groups are not an abelian categoty. The cokernel of any of these maps should is not a LCAG. $$\Bbb Q^{\text{disc}} ...
2
votes
0answers
12 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, ...
1
vote
1answer
29 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
28 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
30 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
19 views

Transferring Exactness

If $$\begin{matrix}0&\rightarrow&A&\rightarrow&B&\rightarrow&C&\rightarrow&0\\ &&\downarrow&&\downarrow&&\downarrow\\ ...
2
votes
1answer
24 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
60 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 ...
2
votes
1answer
34 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. ...
4
votes
1answer
52 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 ...
8
votes
1answer
73 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
58 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
56 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
0answers
37 views

Caracterisation 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
45 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
44 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
45 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
58 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
48 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} $$ ...
2
votes
1answer
63 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} ...
6
votes
0answers
76 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, ...
1
vote
0answers
58 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
31 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
78 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
68 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
38 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
103 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 ...
0
votes
1answer
59 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
67 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
223 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 ...
1
vote
0answers
96 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
43 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 ...
0
votes
0answers
51 views

Proving Fernbahnhof theorem (FHHF) using only concepts of abelian categories

Statement: let $F$ be a right exact functor. Describe a map $FH \rightarrow HF$. (from Vakil's notes 1.6H) attempt of a solution: Let $K$ be the kernel of $FA^i \rightarrow FA^{i+1}$. Since F is ...
3
votes
2answers
79 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
97 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
39 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
45 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
74 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 ...
2
votes
2answers
123 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
71 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
120 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
62 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
63 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
53 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
69 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
107 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 ...