Homeomorfisme

Seperti biasanya dalam teori kategori, jika diberikan dua ruang yang saling homeomorfik, ruang homeomorfisme antara keduanya, formula_36adalah sebuah torsor untuk grup homeomorfisme formula_35 dan formula_38dan, dengan menentukan sebuah homeomorfisme antara formula_39 dan formula_40ketiga himpunan dapat diidentifikasi.