Odnieść się do poniższego fragmentu, a następnie odpowiedzieć na pytanie w tym samym języku, co ten fragment:  Przejście: Wiele grup jest jednocześnie grupami i przykładami innych struktur matematycznych. W języku teorii kategorii są to obiekty grupowe w kategorii, co oznacza, że są to obiekty (tj. przykłady innej struktury matematycznej), które mają przekształcenia (zwane morfizmami), które naśladują aksjomy grupy. Na przykład każda grupa (zgodnie z definicją powyżej) jest również zbiorem, więc grupa jest obiektem grupy w kategorii zbiorów.  Pytanie: Co to jest każda grupa?
zestaw