Proofs of standard model structures
Proofs of model structures, main reference is Model Categories by Mark Hovey.
