## Derived categories

#### Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

### Theorems

The term ‘pre-additive category’ is often used for any $\mathrm{Ab}$-enriched category, for example in section 8 of Kashiwara–Schapira Categories and Sheaves.