V jazyce teorie kategorií jsou skupinovými objekty v kategorii, což znamená, že jsou objekty (tj. příklady jiné matematické struktury), které přicházejí s transformacemi (nazývanými morfismy), které napodobují skupinové axiomy. Například každá skupina (jak je definováno výše) je také množina, takže skupina je skupinovým objektem v kategorii množin. Otázka: Co je každá skupina?
soubor