## Derived categories

#### Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

### Theorems

The term ‘pre-additive category’ is often used for any $Ab$-enriched category, for example in section 8 of Kashiwara–Schapira Categories and Sheaves, in Weibel’s An introduction to homological algebra and Popescu’s Abelian categories with applications to rings and modules.