Jabarkan Kategori dari Grup topologi

Dalam bahasa teori kategori, grup topologi dapat didefinisikan secara ringkas sebagai objek grup dalam kategori ruang topologi, dengan cara yang sama seperti grup biasa adalah objek grup dalam kategori himpunan. Perhatikan bahwa aksioma diberikan dalam bentuk peta (darab biner, balikkan uner, dan identitas nol), oleh karena itu definisi kategoris.