Dalam bahasa teori kategori, mereka adalah objek kelompok dalam kategori, yang berarti bahwa mereka adalah objek (yaitu, contoh dari struktur matematika lain) yang datang dengan transformasi (disebut morfisma) yang meniru aksioma kelompok. Misalnya, setiap kelompok (seperti yang didefinisikan di atas) juga merupakan sebuah himpunan, sehingga sebuah kelompok adalah objek kelompok dalam kategori himpunan. Pertanyaan: Apa setiap kelompok?
set