Coba jelasin Contoh-kontra dari Kategori konkret dong

Kategori hTop, di mana objeknya adalah ruang topologi dan morfismenya adalah kelas homotopi dari fungsi kontinu, adalah contoh kategori yang tidak dapat dikonkretkan.

Sementara objek adalah himpunan (dengan struktur tambahan), morfisme bukanlah fungsi aktual di antara mereka, melainkan kelas fungsi.

Fakta bahwa tidak ada funktor setia dari hTop sampai Set pertama kali dibuktikan oleh Peter Freyd.