Derived categories date back to Verdier's 1967 thesis.
導来圏は Verdier の1967年の学位論文までさかのぼる。