In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called 'weak equivalences', 'fibrations' and 'cofibrations'. These abstract from a conventional homotopy category of topological spaces or of chain complexes (derived category theory). The concept was introduced by Daniel G.Quillen(1967).