And Ilya, my understanding is that there are quite a few model categories, but those are the paradigm examples, and the ones that people care most about, but people also want to see which properties of homotopy follow completely algebraically, sort of like how they want to understand what properties of (co)homology follow algebraically, so we look at things like abelian categories, exact and deriv