Групповой Объект

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