Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 297

(Co)chain complexes, abelian Categories, (pre)sheaves, (co)homology in various (possibly highly generalized) settings, spectra, derived functors, resolutions, spectral sequences, homotopy categories. Chain complexes in an abelian category form the heart of homological algebra.

15 votes
1 answer
510 views

Non isomorphic two term complexes with isomorphic kernel, image and cokernel

Let $R$ be a ring. Can we have two $R$-module maps $A, B: R^n \to R^m$ such that $\mathrm{Ker}(A) \cong \mathrm{Ker}(B)$, $\mathrm{Im}(A) \cong \mathrm{Im}(B)$ and $\mathrm{CoKer}(A) \cong \mathrm{Co …
David E Speyer's user avatar
3 votes
2 answers
531 views

Earliest/most standard reference for derived categories of hereditary algebras

Let $A$ be a hereditary algebra and let $\mathcal{D}$ be the derived category of bounded complex of finitely generated $A$-modules. Then, for any complex $C_{\bullet}$ in $\mathcal{D}$, we have $C_{\b …
David E Speyer's user avatar
8 votes
1 answer
552 views

Is tensor product exact in abelian tensor categories with duals?

Suppose we are in an abelian tensor category with duals, where all objects have finite length. Let $0 \to A \to B \to C \to 0$ be a short exact sequence and $Z$ an object of the category. Is $$0 \to …
David E Speyer's user avatar
28 votes
2 answers
3k views

Why not define triangulated categories using a mapping cone functor?

Recall that the usual definition of a triangulated category is an additive category equipped with a self equivalence called $[1]$ in which certain diagrams, of the form $X \to Y \to Z \to X[1]$ are ca …
David E Speyer's user avatar
16 votes
0 answers
629 views

The Octahedral Axiom in group theory

$\require{AMScd}$Here are two results about groups: (The third isomorphism theorem) Suppose that I have $A \triangleleft B \triangleleft C$ and $A \triangleleft C$. Then $C/B \cong (C/A)/(B/A)$. …
David E Speyer's user avatar
23 votes
2 answers
3k views

Calculating Mayer-Vietoris efficiently

This is a question whose motivation and framing seem to involve a lot of topology, but which I suspect comes down to some simple and standard combinatorics that's probably recorded in a book somewhere …
David E Speyer's user avatar
21 votes
1 answer
2k views

A spectral sequence for computing cohomology of a space from that of its strata

Let $X$ be a smooth complex variety (not necessarily compact) and let $D$ be a normal crossings divisors with components $D_1$, $D_2$, ..., $D_N$. For a set of indices $I$, let $D_I = \bigcap_{i \in I …
David E Speyer's user avatar