  In his paper [Ric89], Rickard presents the stable module category of a
self-injective algebra as a Verdier quotient of its derived category by perfect
complexes. We present a similar realization of the homotopy category in
hopfological algebra as such a Verdier quotient.
