Kofibrasi

Dalam matematika, khususnya teori homotopi, pemetaan kontinu i : A → X di mana A dan X adalah ruang topologi, kofibrasi adalah kelas homotopi peta [ A , S ] diperluas ke kelas peta homotopi [ X , S ] peta f ∈ Hom T o p diperluas ke peta f ′ ∈ Hom Top di mana f ′ ∘ i = f , karena kelas homotopi yang terkait adalah [ f ] = [ f ′ ∘ i ] . Jenis struktur dikodekan dengan kondisi teknis yang memiliki sifat ekstensi homotopi dari ruang S . Definisi ganda dengan fibrasi, yang diperlukan untuk mengunakan sifat pengangkatan homotopi dengan semua ruang. Dualitas ini secara informal disebut sebagai dualitas Eckmann-Hilton. Karena sifat umum dinyatakan, maka digunakan dalam kategori model.