Mathlib

A model category equips a complete, cocomplete category with three classes of arrows.