Преглед: Много групи са едновременно групи и примери на други математически структури. На езика на теорията на категориите те са групови обекти в една категория, което означава, че те са обекти (т.е. примери на друга математическа структура), които идват с трансформации (наричани морфизми), които имитират груповите аксиоми. Например, всяка група (както е дефинирано по-горе) е също множество, така че група е групов обект в категорията на множествата. Въпрос: Каква е всяка група?
настройка