Odkaz: Mnohé skupiny sú súčasne skupinami a príkladmi iných matematických štruktúr. V jazyku teórie kategórií sú skupinovými objektmi v kategórii, čo znamená, že sú objektmi (t. j. príkladmi inej matematickej štruktúry), ktoré prichádzajú s transformáciami (nazývanými morfizmy), ktoré napodobňujú skupinové axiómy. Napríklad každá skupina (ako je definovaná vyššie) je tiež množina, takže skupina je skupinovým objektom v kategórii množín. Otázka: Čo je každá skupina?
nastavenie