Coba jelasin Sifat dari Kofibrasi dong

Untuk ruang Hausdorff, setiap kofibrasi adalah inklusi tertutup (injektif dengan gambar tertutup); hasilnya juga menggeneralisasi ruang Hausdorff lemah.

Pushout dari suatu kofibrasi adalah kofibrasi. Artinya, jika  adalah peta (kontinu) apa pun (antara ruang yang dibuat secara kompak), dan  adalah kofibrasi, lalu peta yang diinduksi  adalah kofibrasi.

Peta tabung dapat dipahami sebagai dorongan dari  dan embedding (di salah satu ujung interval unit)  . Artinya, silinder pemetaan dapat didefinisikan sebagai . Dengan sifat universal pushout,  adalah kofibrasi tepat ketika peta pemetaan dapat dibangun untuk setiap ruang X.

Setiap peta dapat diganti dengan kofibrasi melalui konstruksi peta tabung. Artinya, diberikan peta yang berubah-ubah (berkelanjutan)  (antara ruang yang dihasilkan secara kompak), seseorang mendefinisikan tabung pemetaan