Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [abelian-categories]

The tag has no usage guidance.

7
votes
2answers
232 views

Infinite Krull-Schmidt categories?

In a Krull--Schmidt category, if $$ X_{1}\oplus X_{2}\oplus \cdots \oplus X_{r}\cong Y_{1}\oplus Y_{2}\oplus \cdots \oplus Y_{s}, $$ where the $X_{i}$ and $Y_j$ are all indecomposable, then $r = s$, ...
4
votes
0answers
64 views

On existence of finitely generated projective generator with commutative endomorphism ring in ${}_R Mod$

Let $R$ be a ring with unity (not necessarily commutative). Let ${}_R Mod$ be the category of left $R$-modules. If ${}_R Mod$ has a projective generator with commutative endomorphism ring , then does $...
7
votes
1answer
269 views

Is a categorical coproduct of epimorphisms (monomorphisms) always an epimorphism (a monomorphism)?

Let $\mathbf{C}$ be a category (that does not necessary have a coproduct for every collection of objects). Suppose that we have two families of objects $(A_i)_{i\in I}$ and $(B_i)_{i\in I}$ in $\...
3
votes
0answers
58 views

Do we have criteria of strict localization of a Grothendieck category?

Let $\mathcal{C}$ be an abelian category and $\mathcal{S}$ be a full subcategory of $\mathcal{C}$. We call $\mathcal{S}$ a Serre subcategory of $\mathcal{C}$ if $\mathcal{S}$ is closed under ...
4
votes
1answer
279 views

Kernels and cokernels of multicomplex homomorphisms

Let $\mathcal A$ be a (complete and cocomplete) Abelian category. A multicomplex in $\mathcal A$ is a bigraded object $X^{(\bullet,\bullet)}$ with differentials $$ d^{(i,j)}_r\colon X^{(i,j)}\to X^{(...
7
votes
0answers
60 views

Is the double orthogonal of a localizing Serre subcategory still a localizing Serre subcategory?

Let $R$ be an unital ring and consider the category of left $R$-modules $R$-Mod. We call a full subcategory $\mathcal{W}\subset R$-Mod a localizing Serre subcategory if $\mathcal{W}$ is closed under ...
4
votes
1answer
134 views

DGA for a general abelian category

Differential graded algebras dga-s are fundamental objects of study in homological algebra and category theory. On the nlab webpage, they are defined as follows: a dga is a monoid in the symmetric ...
3
votes
1answer
112 views

Tannaka-Krein reconstruction and rigidity

Let $\mathcal{C}$ be a rigid monoidal category together with a quasi-monoidal functor $\omega:\mathcal{C}\to\mathsf{vec}_{\Bbbk}$ to finite-dimensional vector spaces over a field $\Bbbk$, i.e. we have ...
2
votes
1answer
112 views

Construction of differentials in the spectral sequence for double complexes

I was reading through Ravi Vakil's book/lecture notes on spectral sequences, but I came to an impasse. He leaves as an exercise the construction of the $d_2$ differentials of the spectral sequence (...
11
votes
0answers
181 views

Are the Alexander-Whitney and Eilenberg-Zilber maps homotopy inverse in arbitrary abelian categories?

Let $\mathcal{A}$ be a monoidal abelian category. Let $A$ and $B$ be simplicial objects in $\mathcal{A}$, and let $N_\ast(-)$ denote the normalized chain complex functor. Let $$AW_{A,B}\colon N_\ast(...
2
votes
1answer
75 views

An immersion of $\text{Sub}(X) \to \text{EqRel}(X)$ in a Malcev category

In an abelian category, each subobject $A \stackrel{f}{\to} X$ individuate an equivalence relation $R(f) \to X^2$ which is given by the equalizer of $$X^2 \rightrightarrows X \to \text{Coker}(f). $$ ...
0
votes
1answer
85 views

Misunderstanding of the proof of the Embedding Theorem in Borceux

In the proof of the full exact embedding theorem of the "Handbook of Categorical Algebra 2" of F. Borceux at the step 2, there is something I do not understand. It is at page 82 just after the ...
14
votes
1answer
676 views

Is the category of left exact functors abelian?

Recently I asked on Math Stack Exchange here, if the category $\mathbf{Lex(\mathcal{A,B})}$ of left exact functors between to abelian categories $\mathcal{A,B}$ is abelian? In his thesis Des ...
3
votes
1answer
90 views

Brauer group classifying some splitting categories

Notation: $k$ - field. "$k$-category" = $k$-linear abelian category. $Vect_k$ - the $k$-category of $k$-vector spaces. For a field extension $K/k$ and a $k$-category $\mathcal{A}$, denote by $\mathcal{...
8
votes
1answer
436 views

Example of an abelian category with enough projectives and injectives which are not dual

For trying to understand how general a certain theorem is, I'm looking for an example of an essentially small abelian category which has enough projectives and enough injectives, but whose category of ...
29
votes
1answer
1k views

What was the error in the proof of Roos' theorem?

Background: In 1961, Roos (who, sadly, apparently passed away just last month) purported to prove [1] that in an abelian category with exact countable products (AB4${}^\ast_\omega$), limits of inverse ...
4
votes
0answers
147 views

On representable abelian sheaves vs abelian sheaves

Let $S$ be a scheme, $(\text{Sch}/S)_{\rm Ét}$ a big étale site, and $A$ a representable (either in schemes or algebraic spaces over $S$) abelian sheaf on $(\text{Sch}/S)_{\rm Ét}$. Suppose there is ...
10
votes
2answers
945 views

Is every “nice” abelian category with enough projectives an additive presheaf category?

A "nice" category $\mathcal{C}$ should be (for the purposes of this question) locally presentable at a minimum, and maybe a bit more. One might require $\mathcal{C}$ to be (in roughly order of ...
24
votes
1answer
1k views

Locally presentable abelian categories with enough injective objects

I came to the following question when thinking about the (infinitely generated) tilting-cotilting correspondence, where it appears to be relevant. Does there exist a locally presentable abelian ...
1
vote
1answer
155 views

Abelian category which is nice and its dual is also

Is there a nontrivial abelian category $C$ such that both $C$ and $C^{op}$ satisfy AB3-AB5? ("nontrivial" means that there are nonzero objects in $C$)
38
votes
4answers
4k views

What's there to do in category theory?

Disclaimer: I posted this question on MSE only a few days ago; and received very few comments. I know that the etiquette is to wait a bit more than that before moving a post from MSE to MO, but I ...
4
votes
0answers
107 views

Category of (co)commutative Hopf monoids in an exact category

I'm transferring this question over from SE, since it didn't get much attention over there. Let $(C, \otimes)$ be an exact monoidal category, and let $H(C)$ be the category of cocommutative and ...
8
votes
0answers
289 views

Abelian categories have become the language of homological algebra. Why haven't Zariski categories become the language of commutative algebra?

I'm not seeing much mention of Zariski categories in the literature. There is no article on Zariski categories in nLab, which would seem to be an obvious place to have such an article. What has ...
3
votes
0answers
129 views

About functor categories and enough injectives [duplicate]

Let $\mathcal{I}$ be a small category and $\mathcal{A}$ an abelian category. If $\mathcal{A}$ is complete (that is, the product of any set of objects exists) and has enough injectives, how can I prove ...
7
votes
0answers
128 views

Quotifiable Subcategories

I asked this on math.stackexchange but haven't got a response. If this question is unsuitable for this website please let me know. In Popescu's textbook Abelian Categories with Applications to Rings ...
2
votes
0answers
128 views

Are finitely generated objects in a locally Noetherian category also finitely presented?

Let $\mathcal C$ be a locally Noetherian category. Then, we know that every finitely generated object is Noetherian. I cannot seem to be able to prove that Noetherian objects are finitely presented. ...
8
votes
0answers
243 views

Is every $R^iF(M)$ isomorphic to some $F(N)$?

Let $A$ and $B$ be abelian categories. Assume that $A$ has enough injectives. Is there a "useful" (take that to mean what you will) condition on $A$ and $B$ such that the following is true? For all ...
3
votes
1answer
207 views

A simple colimit in the derived category?

I have recently come across the following question : Let $X$ be a (bounded below)chain complex in an arbitrary abelian category, and denote ${\sigma_{\leq n}}$ the stupid truncations functors (i.e. ...
6
votes
2answers
453 views

Direct sum of injective modules is injective

By the Bass-Papp Theorem, for a unital ring $R$, any direct sum of injective left $R$-modules is injective if and only if $R$ is left Noetherian. I would like to restrict my consideration to an ...
3
votes
1answer
149 views

Exactness of $j_!$ in abelian category recollement

Consider a recollement situation, with notation the same as on the nLab page. That is, we have adjunctions $i^* \dashv i_* \dashv i^!$ and $j_! \dashv j^* \dashv j_*$ between the abelian categories $\...
9
votes
0answers
344 views

How to Compute Ext-Groups for Categories without Enough Injectives/Projectives?

I am studying a category of representations of an infinite-dimensional Lie algebra, which is an abelian category. Unfortunately, the category does not have enough injectives/projectives. I would ...
4
votes
0answers
169 views

Checking a monad is idempotent

I have a monad $T: \mathcal{C} \to \mathcal{C}$ on a (Grothendieck) abelian category which preserves filtered colimits and direct sums (but is not exact). There is a finite collection $G$ of compact, ...
2
votes
0answers
163 views

Why holim and not Rlim?

Let $\mathcal{A}$ be a Grothendieck category (I care mostly about modules over a ring). Let $\operatorname{Ch}^+(\mathcal{A})$ the category of bounded below cochain complexes, $\operatorname{D}^+(\...
2
votes
1answer
360 views

Let $F:\mathscr{A}\to\mathscr{B}$ be an equivalence of Abelian categories. Must $F$ be additive?

What if we simply require $\mathscr{A}$ to be pre-additive, or additive? I have seen it stated without proof that if $\mathscr{A}$ and $\mathscr{B}$ are abelian categories, then any equivalence $F:\...
3
votes
1answer
481 views

On an exercise from Weibel's book on homological algebra

I was revising some old postgraduate notes of mine in homological algebra (written during a postgrad course on the topic, I had taken more than ten ;) years ago) and I came accross the following ...
1
vote
1answer
150 views

Is the minimal Serre subcategory containing a set also a set?

Let $\mathscr{A}$ be an abelian category, and $S\subset\mathscr{A}$ some set of objects in $\mathscr{A}$ (i.e. $S$ is not a proper class), so we can fairly easily define the category $\mathscr{C}_S$ ...
4
votes
1answer
287 views

Colimits in colimits of categories

I was considering the following situation. I have a directed/filtering system of categories $C_i$. I understand how take its direct limit (aka colimit) $C$ in the category of categories. My question ...
1
vote
0answers
294 views

Is every Artinian abelian category necessarily Noetherian?

Let $\mathcal{A}$ be a small abelian category (additive category with AB1) and AB2)). We say $\mathcal{A}$ is artinian if for every $A\in\mathcal{A}$, every descending chain of subobjects of $A$ ...
28
votes
3answers
4k views

What is a triangle?

So I've been reading about derived categories recently (mostly via Hartshorne's Residues and Duality and some online notes), and while talking with some other people, I've realized that I'm finding it ...
3
votes
1answer
267 views

Does the existence of an injective cogenerator “help” in finding generators of an abelian category?

I have an abelian category $A$ that is AB4, AB3* and has an injective cogenerator. Do these conditions "help" in checking whether a given family $a_i$ of (compact) objects of $A$ is generating in it? ...
17
votes
3answers
1k views

Can $\mathcal O_X$ be recognized abstract-nonsensically?

This question has been asked by Teimuraz Pirashvili many years ago. I forgot about it after a while and remembered only now by accident. He probably knows the answer by now, but I still don't. In the ...
5
votes
0answers
129 views

Names for $\operatorname{Coker}\operatorname{ker}\cong \operatorname{Ker}\operatorname{coker}$ and $\operatorname{Coim}\cong \operatorname{Im}$?

Let $\operatorname{Coim}f$ be the cokernel of the kernel pair of an arrow. Let $\operatorname{Im}f$ be the kernel of the cokernel pair. An interesting property of a category is the isomorphy of the ...
9
votes
1answer
461 views

Objects of which Grothendieck abelian categories have elements?

The Freyd-Mitchell embedding theorem is a very useful tool for dealing with small abelian categories. However, it does not allow to use "elements" of objects of an abelian category $A$ in those ...
4
votes
2answers
454 views

On various relations between “additional axioms” for AB4 and Grothendieck abelian categories

Let $A$ be an abelian category that has a generator and satisfies the AB4 axiom. I would like to understand (better) the relations between various additional "restrictions" on $A$. So here is my list ...
4
votes
0answers
148 views

Relationship between pointed protomodularity and $\operatorname{Coker}\ker f\overset{\cong}{\longrightarrow}\operatorname{Ker}\operatorname{coker}f$

In hopes of understanding algebra better, I've been reading here and there about protomodular categories and the like. Among other things, the theory surrounding these (and some other) categories ...
19
votes
0answers
269 views

Homotopic version of Freyd's AT category observations

Freyd was the first to formalize a striking comparison between abelian categories and topoi, showing that their exactness properties can be jointly captured by the axioms of AT categories, and the ...
2
votes
0answers
200 views

On the category of $D$-modules

Let $X$ be a smooth variety over an algebraically closed field $k$ of char. $0$. 1) Is the abelian category $M(X)$ of $D$-modules on $X$, which are quasi-coherent as $O$-modules, a Grothendieck ...
2
votes
1answer
175 views

Does a binormal category always admit an additive structure?

Let $\mathsf{C}$ be a category. We call $\mathsf{C}$ binormal if it has a null object, has all equilizers and coequilizers, all monomorphisms are kernels and all epimorphisms are cokernels (whereby a ...
4
votes
1answer
129 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 (f))\...
3
votes
1answer
332 views

Is a left-exact limit-preserving functor $Ab \to Ab$ necessarily representable?

Let $Ab$ be the category of abelian groups, and let $F: Ab \to Ab$ be a covariant functor which is left-exact and limit-preserving. Is $F$ necessarily naturally equivalent to a functor of the form $\...