In the language of category theory, they are group objects in a category, meaning that they are objects (that is, examples of another mathematical structure) which come with transformations (called morphisms) that mimic the group axioms.
Στη γλώσσα της θεωρίας κατηγοριών, είναι τα αντικείμενα της ομάδας σε μια κατηγορία, που σημαίνει ότι είναι αντικείμενα (δηλαδή, παραδείγματα άλλη μαθηματική δομή) τα οποία έρχονται με μετασχηματισμούς (που ονομάζονται πολυμορφισμοί) που μιμούνται τα αξιώματα της ομάδας.