Category theory; homological algebra Definition
Mapping cone
Builds on Additive categoryChain complexChain mapBiproductQuasi-isomorphism
Definition
Let be an additive category and let be a chain map of chain complexes in , with differentials and . The mapping cone of is the chain complex with the biproduct, and with differential given in matrix form by
Remarks
The condition holds: , because is a chain map. The inclusion and the projection , where with differential , form a degreewise split short exact sequence of complexes. In an abelian category, its long exact homology sequence has connecting maps equal to up to sign. So is a quasi-isomorphism if and only if has zero homology. Sign conventions differ between texts; they give isomorphic complexes.
Example: let in degree and let be multiplication by . Then , , and the differential is , so and is not a quasi-isomorphism.
Non-example: dropping the sign, , does not give a complex in general. For with , , and the identity, the element in degree goes to and then to .
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Additive category concept
- Biproduct concept
- Chain complex concept
- Chain map concept
- Quasi-isomorphism concept
- Mapping cone definition
Further reading
About this page
| Tag | V3MP0RJ2NX |
|---|---|
| URI | m2://V3MP0RJ2NX |
| Kind | definition |
| Writing | W0 stub |
| MSC | 18G35, 18G80 |
| Defines | Mapping cone |
| Uses | Additive category, Chain complex, Chain map, Biproduct, Quasi-isomorphism |
| Changed | 2 November 2026 |
Markdown ยท JSON ยท Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.