групповой объект

Групповой объект — это обобщение понятия группы на объект произвольной категории, во многих случаях групповой объект можно понимать как группу с дополнительной структурой. Типичный пример — топологическая группа, имеющая структуру топологического пространства, согласующуюся с групповой структурой, в том смысле, что групповая операция непрерывна.