Вайбеля непременно нужно. Кузнецова нужно было бы, но оно же небось не издано. А если его издавать, то надо как минимум исправить ошибки, а по уму, добавить туда же его же более поздний курс про DG-категории, добавить про фильтрованные производные категории.... в общем, целая работа.