derived category
homotopy category of chain complexes in an abelian category with inverses to quasi-isomorphisms adjoined
en-GB/dɪˈɹaɪvd kætɪɡəɹiː/
homotopy category of chain complexes in an abelian category with inverses to quasi-isomorphisms adjoined