Kofibrasi itu apa sih?

Dalam matematika, khususnya teori homotopi, pemetaan kontinu

di mana  dan  adalah ruang topologi, kofibrasi adalah kelas homotopi peta  diperluas ke kelas peta homotopi  peta  diperluas ke peta  di mana , karena kelas homotopi yang terkait adalah .

Jenis struktur dikodekan dengan kondisi teknis yang memiliki sifat ekstensi homotopi dari ruang . 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.