pdf-derived-category-methods-in-commutative-algebra-by-lars-winther-christensen-hans-bjorn-foxby-henrik-holm