Classification of stable model categories, in preparation (0)

by Stefan Schwede, Brooke Shipley