Derived categories

Homological algebra

homological algebra

Introduction

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.