2
votes
1answer
44 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 ...
1
vote
1answer
29 views

Acyclic resolution but not projective

Suppose $\mathfrak{C}$ is an abelian category which does not have enough projectives and we're interested in computing the right derived functors of some covariant functor $F$. If however, every ...
1
vote
1answer
40 views

Map induced by localization on categories

I have been doing some reading in Hartshorne's Algebraic Geometry on derived functors and subsequent results in cohomology. Given $A$ an abelian category of groups, I have seen that the map ...
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 & ...
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
26 views

Adjoints to cofree modules tensor?

If $M$ is a cofree $R$-module and $A,B$ are arbitrary $R$-modules then, is there a left adjoint to the functor $M\otimes_R -$, i.e. is there an endofunctor $F$ on $_R \mathrm{Mod}$ such that ...
7
votes
1answer
80 views

Localization of an additive category which is no longer additive

Is there a nice example of an additive category $C$ and a family of morphisms $S\subset Mor(C)$ such that $C[S^{-1}]$ is no longer additive? I know that in general localization of categories ...
0
votes
0answers
26 views

Exactness of derived functor [duplicate]

Is the right derived functor of a left exact functor left exact also? If now, can anything be said about its exactness in general?
5
votes
0answers
55 views

Best approximation to an adjoint functor

I have the following question. Suppose I have a functor $F\colon C\to D$ between two categories. I would like it to have an adjoint (say, right), but it doesn't. Is there a way to define a "best ...
2
votes
0answers
68 views

Definition for a bar resolution for a module over a dg category

Let $ \mathcal{A}$ be a dg category and define a right $ \mathcal{A}$ module to be a dg functor $ M: \mathcal{A}^{op} \rightarrow dif\ k$ where $dif\ k$ is the category of differential $k$ modules ...
8
votes
1answer
71 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 ...
3
votes
1answer
70 views

Projective object in the category of chain complexes

I have the following sequence of projective $\mathbb{Z}$-modules: $\cdots \rightarrow 0 \rightarrow \mathbb{Z} \overset{\times 2}\rightarrow \mathbb{Z} \rightarrow 0 \rightarrow \cdots $ This is ...
1
vote
2answers
61 views

kernel of a monic morphism

Problem Suppose $\mathscr{C}$ is an arbitrary category with zero object. $A$ and $B$ are two objects of $\mathscr{C}$. Let $f\in Mor_\mathscr{C}(A,B)$. It's given that $f$ is monic. I need to show ...
6
votes
1answer
118 views

Existence proof of the tensor product using the Adjoint functor theorem.

Can one prove the existence of the tensor product by the adjoint functor theorem? (of, say, modules over a commutative ring) If yes, how would one check the SSC (solution set condition) for the hom ...
17
votes
1answer
355 views

Homological methods in algebraic geometry

This question will probably seem quite silly to those well-versed in algebraic geometry (about which I admittedly hardly know anything); in the preface of Atiyah-Macdonald's book on commutative ...
6
votes
0answers
102 views

Morita-invariance of Hochschild (co)homology.

Ok, I'm reading this paper by Christian Kassel on associative algebras and Hochschild (co)homology and on page 19 he says that Hochschild homology is Morita-invariant, by which he means that if $R$ ...
0
votes
0answers
38 views

Is the category of chain complexes complete and cocomplete in small?

Does the category of chain complexes (let's say of modules over some ring) have all small limits and colimits? What I understand is that the category of chain complexes is certainly finitely ...
3
votes
1answer
116 views

Proof of the five lemma

How to do this using the snake lemma? this is an exercise in Lang's Algebra book. It should somehow be obvious, but I don't see it
1
vote
1answer
88 views

Direct limit and products

Any of your comments (or if you know a resource which could be handy) regarding this problem would be appreciated: Show that finite products commute with filtered direct limits. Got no idea how to ...
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, ...
3
votes
1answer
45 views

On the definition of an exact sequence in an abelian category

I am slightly confused about the notion of exactness in a general abelian category (I want to stay clear of anything related to the Mitchell embedding theorem). Here are two definitions that I have ...
-1
votes
1answer
85 views

Monic and epic implies isomorphism in an abelian category? [duplicate]

Is it true that monic and epic implies isomorphism in an abelian category?
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 ...
0
votes
0answers
33 views

Finding coproduct of category(specified in the question!) [duplicate]

I asked a question few minutes ago, and when I saw the answer to my question, I found that I had explained my question wrongly (so the answer was not what I wanted to know). So I decided to write new ...
1
vote
2answers
93 views

What is the product and coproduct of Morphism category(Arrow category)?

Given category C, Its morphism category D means a category that has 1) "morphisms of C" as its objects 2) "pair (f,g) s.t. the diagram(square) commutes" as its morphisms The above definition is ...
2
votes
1answer
104 views

Understanding Equivalence of Categories

An equivalence of two categories $\mathcal{C},\mathcal{D}$ consists of a pair of functors $F:\mathcal{C} \rightarrow \mathcal{D}$, $G:\mathcal{D} \rightarrow \mathcal{C}$ and natural isomorphisms $FG ...
2
votes
1answer
41 views

Right exactness on a dense subcategory

Let $F : C \to D$ be a $k$-linear functor between cocomplete $k$-linear categories, which preserves directed colimits (in particular arbitrary direct sums). Let $C' \subseteq C$ be a dense full ...
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 ...
1
vote
0answers
34 views

Equivalence and complexes homotopically-minimal

Let $A$ and $B$ be two finite-dimensional algebras over a field $k$ and $G\colon \mathcal{K}^{-}(\mathcal{P}_A) \to \mathcal{K}^{-}(\mathcal{P}_B)$ be an (triangulated) equivalence. By [Krause-05], a ...
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
2answers
53 views

Do $\operatorname{Hom}( - , R)$ and $ - \otimes_R B$ commute when applied to $A\cong R^d?$

Let $R$ be a commutative ring with identity. Let $A$ and $B$ are $R$-modules, and further suppose that $A$ is free with finite rank. Is it true that $$ \operatorname{Hom} (A \otimes_R B , R) \cong ...
3
votes
1answer
55 views

Proof that derived functors don't depend on choice of resolution.

Can somebody help me out with this? Let $X$ be an object in an abelian category $A$ with enough injectives, let $0 \rightarrow X \rightarrow M^{\bullet}$ be an injective resolution , let $0 ...
2
votes
2answers
121 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 ...
2
votes
1answer
292 views

k-linear category

Let $C$ be a additive category and $k$ is a commutative ring. $C$ is called $k$-linear if the morphism sets $C(x,y)$ have the $k$-module structures for all $x,y\in Obj(C)$ and the compositions of ...
8
votes
2answers
113 views

Etymology of Tor and Ext

The names of the important functors Tor and Ext seem quite cryptic to me. Does anyone know what these abbreviations stand for? I would be glad if someone could tell me where these names come 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
59 views

Derived functors - how is natural transformation between $L_0T$ and $T$ constructed?

For simplicity's sake, consider the categories $R\text{-Mod}, S\text{-Mod}$ of left $R$-modules and left $S$-modules, respectively, and let $\mathcal{F}$ be some precovering class in $R\text{-Mod}$. ...
2
votes
1answer
49 views

Embedding into a morphism of distinguished triangles

Everything in this question happens in a triangulated category $\mathbf{D}$. I am trying to prove that in a diagram like this $$ ...
1
vote
1answer
106 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 ...
9
votes
1answer
140 views

Can it happen that the image of a functor is not a category?

On Hilton and Stammbach's homological algebra book, end of chap. 2, they wrote in general $F(\mathfrak{C})$ is not a category at all in general. But I don't quite get it. I checked the axioms of a ...
5
votes
1answer
165 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 ...
2
votes
1answer
48 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?
5
votes
0answers
106 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 ...
3
votes
1answer
492 views

Does taking the direct limit of chain complexes commute with taking homology?

Suppose I have a directed system $C_i$, $i\in\mathbb{N}$ of chain complexes over free abelian groups (bounded below degree $0$) $$C_i=0\rightarrow C^{0}_{(i)}\rightarrow ...
12
votes
2answers
142 views

Questions about Rickards proof that $D^b_\mathtt{sg}(A) \equiv \mathtt{stmod}(A)$

Setup: Let $A$ be a self-injective algebra (so projective = injective for modules) and let $D^b(A)$ and $K^b(A)$ be the bounded derived category and the full subcategory consisting of the perfect ...
1
vote
1answer
41 views

Simple modules preserved, if exact sequences preserved by functor

I have the following question: If a functor between two categories sends exact sequences to exact sequences, how does it follow that it preserves simple modules as well? Thanks for the help.
2
votes
2answers
126 views

Equivalence of categories and derived functors.

Don't know if this kind of a dumb question but let $A$ and $B$ be abelian categories and suppose they're equivalent: there are two functors $P: A \rightarrow B$ and $Q: B \rightarrow A$ satisfying the ...
5
votes
2answers
188 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 ...
5
votes
1answer
363 views

Equivalences and isomorphisms of short exact sequences

In case it's necessary, I'm working in the category $\mathbf{Ab}$ of abelian groups. My question concerns what I find to be a strange way of viewing the elements of the Ext group $\mbox{Ext}(A,B)$ of ...