Coba jelasin Definisi dari Kofibrasi dong

Peta  ruang topologi disebut kofibrasihal 51 jika untuk peta  sedemikian rupa sehingga ekstensi ke , maka peta  adalah , dengan memperluas homotopi peta  ke homotopi peta , dimanaDengan mencari kondisi dalam diagram komutatif berikutdi mana  adalah ruang jalur .