I cannot give a good answer to this question. And
Why this definition of model category is the right way to give a philosophy of homotopy theory? Why didn't we use any other definition?
Has model category been used substantially in any area not related to algebraic topology?
