In der mathematischen Homotopietheorie ist eine Modellkategorie eine Kategorie mit ausgewählten Unterklassen von Pfeilen, die "schwache Äquivalenzen", "Faserungen" und "Kofaserungen" genannt werden. Die Anforderungen an diese Klassen stellen eine Abstraktion der entsprechenden topologischen Begriffe dar und ermöglichen die Konstruktion ei...