Kategori ruang topologi itu apa sih?

Dalam matematika, kategori ruang topologi, sering dilambangkan Top, adalah kategori yang objek adalah ruang topologi dan morfisme adalah peta kontinu. kategori komposisi dari dua peta kontinu pada kontinu, dan fungsi identitas kontinu. Studi tentang Top dan sifat ruang topologi menggunakan teknik teori kategori dikenal sebagai topologi kategorikal.

Beberapa penulis menggunakan nama Top untuk kategori dengan manifold topologi atau dengan ruang kompak sebagai objek dan peta kontinu sebagai morfisme.