All Questions
Tagged with limits-and-colimits abelian-categories
11 questions
5
votes
0
answers
361
views
On a simple alternative correction to Roos' theorem on $\varprojlim^1$
Here is a discussion about an incorrect theorem of Roos, later corrected, some counterexamples and so on. Reading over this, I was a bit shocked because it contradicted something from Weibel's ...
- 1,021
1
vote
0
answers
54
views
contravariant finiteness and limit closure: is there dual to a result of Crawley-Boevey?
Let $\mathcal A$ be a locally finitely presented category. Theorem 4.2 of https://doi.org/10.1080/00927879408824927 says that given a full additive subcategory $\mathcal D$ of finitely presented ...
- 480
3
votes
1
answer
223
views
Kernels and cokernels in a quotient of an abelian category
I am trying to understand the construction of the quotient of an abelian category called the Serre quotient or Gabriel quotient. From the description here: https://en.wikipedia.org/wiki/...
- 323
6
votes
1
answer
233
views
Comparing stabilization of stable category modulo injectives and a Verdier localization
Let $\mathcal A$ be an abelian category with enough injectives. Let $\mathcal I$ be the collection of injective objects. Let $\mathcal A/\mathcal I$ be the quotient category whose objects are same as ...
- 413
2
votes
1
answer
180
views
Non-cofiltered derived limits
As far as I know, the inverse limit and its derived functors can be defined even in case we are dealing with a functor $F: I \to A$ from a category $I$ that is not cofiltered. I would content myself ...
- 505
6
votes
1
answer
397
views
Vanishing of higher limits
Let $I$ be a directed set and let $X_I$ be a corresponding inverse system of, say, (complex) vector spaces or abelian groups (in my case in general not finite-dimensional, resp. not finitely generated)...
- 2,998
5
votes
1
answer
534
views
Derived functors of inverse limit in abelian categories?
I have a finite poset $I$ and an inverse system $A: I^{op}\longrightarrow \mathscr C$ taking values in an abelian category $\mathscr C$.
I suppose that $\mathscr C$ has direct sums. Given that my ...
- 51
8
votes
1
answer
341
views
Filling square to push-out in abelian category
Let $\mathcal{C}$ be an abelian category. In $\mathcal{C}$ we consider the diagram
\begin{array}{ccc}
A&&\\\
\downarrow&&\\\
C&\rightarrow&D
\end{array}
with arrows being ...
- 473
2
votes
0
answers
163
views
Coend of full subcategory
$\require{AMScd}$Let $F:\mathcal{C}^{op}\times \mathcal{C} \to \mathcal{D}$ be a functor and $\mathcal{C}' \subseteq \mathcal{C}$ a full subcategory. Assume that the coends $C$ over $F$ and $C'$ over $...
- 1,813
2
votes
0
answers
257
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}^+(\...
- 3,079
1
vote
2
answers
708
views
Tot and colimits
This must be a well-known exercise with spectral sequences, but I don't know a reference for it. I'm trying to figure out when does $Tot$ commute with colimits.
More precisely, let $X$ be a double ...
- 1,975