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.
În termeni de teoria categoriilor, ele sunt obiecte de grup într-o categorie, adică sunt obiecte (exemple de alte structuri matematice) care suferă unele transformări (numite morfisme) care mimează axiomele grupurilor.