Abstract: In 1969, Quillen introduced the notion of "model category" as an axiomitization of homotopy theory. In the intervening four decades model categories have been proven to be remarkably useful in homotopy theory. In this talk, I will discuss a structure theorem giving a notion of a presentation of a model category, refining a 2001 paper of Dan Dugger; and I will introduce a monoidal structure on the category of model categories that simplifies many "generic" arguments in model category theory.