Odkažte se na níže uvedenou pasáž a odpovězte na následující otázku ve stejném jazyce jako pasáž:  Průchod: Mnoho skupin je současně skupinami a příklady jiných matematických struktur. V jazyce teorie kategorií jsou skupinovými objekty v kategorii, což znamená, že jsou to 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ána 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