Jabarkan Dalam kompleks rantai dari Kofibrasi

Jika  menjadi kategori kompleks rantai yang  dalam derajat , kemudian ada struktur kategori model hal 1.2 di mana ekuivalen lemahnya adalah Isomorfisme semu, jadi peta kompleks rantai yang isomorfisme setelah mengambil kohomologi, fibrasi yaitu epimorfisme, dan kofibrasi diberikan oleh petabersifat injektif dan kompleks kokernel  adalah kompleks objek proyektif di  . Selain itu, objek kofibrant adalah kompleks objeknya adalah objek proyektif .