Математическая энциклопедия - групповой объект

категории объект Xкатегории Стакой, что для любого множество морфизмов является группой, а соответствие функтором из категории Св категорию групп (Gr). Гомоморфизмом Г. о. X в Г. о. У наз. такой морфизм категории С, что для любого соответствующее отображение является гомоморфизмом групп. Г. .