W języku teorii kategorii są one obiektami grupowymi w kategorii, co oznacza, że są to obiekty (tj. przykłady innej struktury matematycznej), które mają transformacje (zwane morfizmami), które naśladują aksjomy grupowe. Na przykład każda grupa (zgodnie z powyższą definicją) jest również zbiorem, więc grupa jest obiektem grupowym w kategorii zbiorów. Pytanie: Czym jest każda grupa?
zestaw