Coba jelasin Contoh dari Kofibrasi dong

Kofibrasi adalah kelas peta yang canggung dari perspektif komputasi karena lebih mudah dilihat sebagai alat teknis formal yang memungkinkan seseorang untuk "melakukan" konstruksi teori homotopi dengan ruang topologi. Maka

dari ruang topologi, kofibrasi terkait ruang  disebut peta tabung (di mana  adalah retraksi deformasi, maka homotopi setara dengannya) yang memiliki kofibrasi terinduksi yang disebut mengganti peta dengan kofibrasi

dan peta  dengan  faktor melalui, artinya diagram komutatif

di mana  adalah ekuivalen homotopi.