The abelian-categories tag has no usage guidance.

**1**

vote

**0**answers

50 views

### Non-trivial but simple concrete examples for some categories related to Tensor/Fusion categories

I'm writing a note on Tensor and Fusion categories, the readers of which are physicists rather than mathematicians. So instead of giving abstract definitions I have to give examples to inspire each ...

**3**

votes

**0**answers

83 views

### Is an abelian category a Serre subcategory of its ind-category?

Let $\mathcal C$ be an abelian category and consider its ind-category
$Ind(\mathcal C)$:
(1) Is $Ind(\mathcal C)$ always abelian? (If not, what conditions are needed?)
(2) Is $\mathcal C\subseteq ...

**2**

votes

**1**answer

130 views

### Additive functors to abelian groups: “additional structure” and functors induced by “additive pseudo-functors”; references?

Let $\mathcal{A}$ be a small additive category. Consider the category $PreSh(\mathcal{A})$ of all additive functors from $\mathcal{A}^{op}$ into abelian groups; note that this category is abelian and ...

**3**

votes

**1**answer

72 views

### Semisimple monoidal category with duals

We say that an abelian category is semisimple if every object is a semisimple object, which is to say, a direct sum of finitely many simple objects.
Let $({\cal C},\otimes,*)$ be a semisimple ...

**0**

votes

**1**answer

107 views

### Adjointable Abelian Monoidal Functor

Given two abelian monoidal categories ${\cal C,D}$ (where the monoidal operation is bilinear) and an additive monoidal functor $F:{\cal C} \to {\cal D}$. Will $F$ always admit an adjoint?

**4**

votes

**1**answer

121 views

### Extension-closed subcategories of triangulated categories as “almost exact” categories

Did anybody study those subcategories of triangulated categories that are closed with respect to "extensions" (in the sense of distinguished triangles; in particular, any such $B$ is additive)? If we ...

**13**

votes

**2**answers

421 views

### A model category of abelian categories?

Let $\mathcal{M}$ be the following category:
The objects are small abelian categories with chosen zero object, biproducts, kernels, and cokernels.
The morphisms are functors that preserve the ...

**1**

vote

**2**answers

129 views

### Poset-enrichment of abelian categories

Let $\mathsf{A}$ be an Abelian category (perhaps vector spaces or modules over your favorite ring), and let $\mathsf{A}(x,y)$ denote the set of morphisms in $\mathsf{A}$ from an object $x$ to another ...

**11**

votes

**2**answers

636 views

### k-linear abelian categories which are not categories of modules

According to Joyal, Street ("An Introduction to Tannaka Duality and Quantum Groups"), any $k$-linear abelian category $\mathcal{C}$ admitting a faithful, exact functor $U: \mathcal{C} \rightarrow ...

**1**

vote

**0**answers

53 views

### Lattice of subobjects of a particular coproduct

I have the following situation: $\mathcal C$ is a (good enough, say Grothendieck) Abelian category and $F:\mathcal C\to \mathcal C$ is self-equivalence. Given an object $C$ in $\mathcal C$, what can I ...

**6**

votes

**1**answer

260 views

### In a closed monoidal abelian category, are the compact projectives a monoidal subcategory?

Question: In a closed monoidal abelian category such that the unit object is compact projective, must the tensor product of compact projective objects be compact projective?
Recall that an object ...

**4**

votes

**0**answers

209 views

### Can we obtain a derived category from an additive category? Like a category of Banach modules?

Let $A$ be a Banach algebra, let $A$-mod be the category of left Banach modules (as defined in Helemskii's "Banach and locally convex algebras"), $A$-mod is an additive category, but not abelian ...

**1**

vote

**0**answers

149 views

### Intuition for hereditary torsion theories

I'm looking for intuition and references for the definition of a hereditary torsion theory and two facts found here. First, the definition and facts:
Definition. A torsion theory $(\mathcal ...

**6**

votes

**0**answers

137 views

### Exactness of pure functors

I can't prove this lemma in "Notes on motivic cohomology, Beilinson, Macpherson, Schechtman":
Lemma. A pure functor is exact.
Definitions: A mixed category $\mathcal{M}$ is a ...

**3**

votes

**1**answer

146 views

### A canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$ (references)

According to several articles I could find, a canonical algebra of type $(2,2,r)$ is derived equivalent to a path algebra of type $\tilde{D}_{r+2}$, where $r \geq 2$.
I don't know how to obtain this ...

**2**

votes

**0**answers

217 views

### Tensor product of pullbacks of abelian categories

Does the tensor product of abelian categories commute with pullbacks? In more detail:
Let $k$ be a field. We consider $k$-linear small abelian categories ...

**7**

votes

**2**answers

341 views

### When is/isn't the monoidal unit compact projective?

I am interested in developing intuition for when the monoidal unit in a closed monoidal abelian category is or isn't compact projective. As such, my question is not looking for a yes/no answer, but ...

**3**

votes

**1**answer

101 views

### Splitting lemma for semigroups or monoids

I know there is a splitting lemma for groups, but is there a similar lemma for semigroups or monoids? And do you have the proof of that?

**2**

votes

**2**answers

296 views

### Holomorphic vector bundles over a Riemann surface does not satisfy $\mathbf{AB2}$ but satisfies $\mathbf{AB1}$

in Grothendieck's Tohoku paper (page 127), Grothendieck asserts that the category of holomorphic vector bundles $\mathbf{Bund}(X)$ over a fixed Riemann surface $X$ does not satisfy $\mathbf{AB2}$, but ...

**0**

votes

**1**answer

121 views

### What is the universal property of being the maximal common subobject of two objects in a semisimple category?

Imagine a semisimple abelian category $\mathcal{C}$, for example representations of a finite group.
Take two (nonsimple) objects $X, Y$ that are subobjects of a common object $Z$, and decompose them ...

**5**

votes

**1**answer

495 views

### Projectives and Injectives in Functor Categories

Would it be possible to enlighten me (or even better give a reference) about enough projectives (injectives) in functor categories?
Here is a precise question. Let $C$ be a small category, whose ...

**5**

votes

**1**answer

344 views

### Can one characterize the category of finite-dimensional vector spaces? [duplicate]

Let $K$ be a field. Does the category of finitely generated $K$-modules have a nice characterization, for example as the unique abelian category satisfying a certain simple condition? For example, we ...

**2**

votes

**0**answers

74 views

### Quotient categories and essential extension

Let $A$ be a right Noetherian positively graded ring. Let $Gr(A)$ be the category of right graded $A$-modules, and $Tors(A)$ be the full subcategory of $Gr(A)$ of torsion modules. Let $QGr(A)$ be the ...

**6**

votes

**1**answer

270 views

### About an embedding of abelian categories into categories of modules

Let $k$ be a field. Let $C$ be an abelian $k$-linear category with a symmetric tensor product $\otimes$ and internal homomorphisms, such that $\mathrm{End}(1)=k$. Let $M$ be another $k$-linear abelian ...

**5**

votes

**0**answers

229 views

### Extension to a right exact functor

Setup. Let $k$ be a field, $\mathcal{C}$ be a $k$-linear abelian category, $\mathcal{D}$ an arbitrary $k$-linear category. Let $\mathcal{C}'$ be a full subcategory of $\mathcal{C}$ with the following ...

**8**

votes

**0**answers

356 views

### Deligne-Mumford Stacks and exactness of products

Let me start by saying that this is probably a very ingenuous question but I still need to digest most definitions before being able to formulate a more precise question.
In this paper: ...

**3**

votes

**0**answers

225 views

### Cisinski-Deglise model structure on chain complexes

Let $\newcommand{\A}{\mathscr{A}}\A$ be a grothendieck abelian category. In their paper "Local and stable homological algebra in grothendieck abelian categories", Cisinski and Déglise define the ...

**2**

votes

**2**answers

432 views

### how to make the category of chain complexes into an $(\infty,1)$-category

Related to this question, I would like to know, if there is an explicit presentation
of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial ...

**8**

votes

**2**answers

717 views

### Properties of quotient categories.

I asked this on math.stackexchange.com, but didn't get any answer.
Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre/thick/dense ...

**1**

vote

**0**answers

122 views

### Why are the left exact functors from an abelian category to abelian groups cocomplete and have a injective generator?

Let $\mathcal{C}$ be an abelian category, $\mathcal{Ab}$ the category of abelian groups and $Lex(\mathcal{C}, \mathcal{B})$ the category of left exact functors between abelian categories.
What is the ...

**3**

votes

**2**answers

434 views

### Applications and examples of quotient categories of abelian categories

I want to get motivated to learn more about quotient categories of abelian categories by a Serre subcategory or even by a localizing category as they are described in Pierre Gabriel's thesis "Des ...

**3**

votes

**2**answers

359 views

### Why is $Lex(\mathcal{A},\mathcal{Ab})$ abelian? Does $Lex(\mathcal{A},\mathcal{Ab})\rightarrow Func(\mathcal{A},\mathcal{Ab})$ admit a left-adjoint?

What is the best way to show, that $Lex(\mathcal{A},\mathcal{Ab})$ is abelian, where $\mathcal{A}$ is an abelian category and $\mathcal{Ab}$ is the category of abelian groups from scratch?
There is ...

**9**

votes

**1**answer

472 views

### Examples of applications of the Freyd-Mitchell embedding theorem.

The Freyd-Mitchell embedding theorem states the following:
Let $\mathcal{A}$ be a small abelian category. There exists a unital ring $R$ and a full, faithful and exact functor ...

**8**

votes

**2**answers

430 views

### Recovering an abelian category out of its derived category

I'm trying to learn more about derived category stuff and my curiosity has made me to ask these questions. Sorry if I'm being sloppy, I'm a new learner.
In Wikipedia it has been stated that since ...

**2**

votes

**1**answer

484 views

### Any abelian category as filtered colimit of categories of projective modules

Recently I have heard somewhere that any (edit: small) abelian category can be expressed as the colimit of categories of projective modules over some rings. The remark was that this is "basically just ...

**1**

vote

**1**answer

306 views

### Why does tensor product in Ab(V) require colimits in V?

In Tom Leinster's book on operads, he gives Ab(V), the category of abelian groups in a symmetric monoidal category V, as an example of a multicategory that doesn't arise from a monoidal category, ...

**35**

votes

**4**answers

3k views

### Cocomplete but not complete abelian category

This is a duplicate of the following question to which I did not receive any answer: http://math.stackexchange.com/questions/238247/complete-but-not-cocomplete-category
Let $\mathfrak C$ be an ...

**1**

vote

**0**answers

384 views

### Additive functors preserving quasi-isomorphism

Let $F: \mathcal{A} \rightarrow \mathcal{B}$ be an additive functor between abelian categories (with enough injectives and projectives) and $K^\cdot, L^\cdot$ objects of $\textrm{Ch}(\mathcal{A})$. ...

**3**

votes

**1**answer

316 views

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

This question was posted in StackExchange, but there has been no answer so far.
This question is motivated by this.
I will use the notations of my answer to this.
We say a category $\mathcal C$ is ...

**2**

votes

**0**answers

143 views

### Does mapping cylinder category have enough injectives?

Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor.
We define a category $C$ as follows:
objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to ...

**12**

votes

**5**answers

2k views

### Cov. right-exact additive functors that don't commute with direct sums?

Background
Recently, I have been writing up some notes on derived functors and I came across the Eilenberg-Watts theorems [1], which essentially explain why it is hard to find derived functors ...

**3**

votes

**2**answers

752 views

### Subcategories of abelian categories generated by finitely many objects

Hello!
I am trying to understand the structure of the smallest abelian subcategory of an abelian category that contains one object $X$ and all endomorphisms of that object (or rather containing a ...

**10**

votes

**1**answer

668 views

### Higher “Cartan-Eilenberg” Resolutions

I am a number theory graduate student learning a bit of homological algebra, and I am curious about higher complexes in abelian categories. I apologize if my post is slightly vague as I am not an ...

**5**

votes

**1**answer

534 views

### Is the bounded derived category of coherent sheaves of a variety a small category?

The question is in the title.
I am trying to apply the Mitchell (Freyd-Mitchell?) embedding theorem, which states that for every small abelian category $A$, there exists a ring $R$ such that A ...

**5**

votes

**1**answer

360 views

### Morita equivalence of acyclic categories

(Crossposted from math.SE.)
Call a category acyclic if only the identity morphisms are invertible and the endomorphism monoid of every object is trivial. Let $C, D$ be two finite acyclic categories. ...

**0**

votes

**1**answer

958 views

### Terminology - subcategories of Abelian categories

Hello,
I have terminological question. Consider the following properties of a full subcategory $B \subset A$, where $A$ is an abelian category, and we assume $B$ to be closed under finite direct ...

**8**

votes

**3**answers

809 views

### Module category equivalent to graded module category?

Main Question
Let $R$ be a graded ring, graded by the nonnegative integers. Denote by $\mathrm{gr}R-\mathrm{Mod}$ the category of $\mathbb{Z}$-graded left $R$-modules with morphisms that preserve ...

**7**

votes

**2**answers

869 views

### The composition of derived functors - commutation fails hazardly?

Hello,
When we have left exact functors $F: A \to B , G: B \to C$ (between abelian categories), we would like sometimes to state that $D(GF)=D(G)D(F)$ (functors between bounded below derived ...

**5**

votes

**2**answers

707 views

### Indecomposable projectives correspond to irreducibles - reference

Hello,
We have the following assertion:
In an abelian category that has enough projectives and in which every object has finite length, indecomposable projectives correspond bijectively to ...

**8**

votes

**2**answers

593 views

### Incarnations of a theorem of Eilenberg

Let $R$ be any ring, let $\text{Mod}_R$ be the category of right $R$-modules and let $\text{Ab}$ be the category of abelian groups. There is a classical theorem of Eilenberg (I think) which says that ...