Групповидный объект
-
Определение и примеры
- Группоид — это категория, в которой каждый морфизм является изоморфизмом.
- Примеры включают топологические группы, группы Ли и группоиды схем.
-
Групповые объекты и групповые схемы
- Групповой объект — это объект-группоид с фиксированными объектами и стрелками.
- Групповая схема — это объект-группоид в категории схем над фиксированной базовой схемой.
-
Групповые конструкции
- Инерционная группа группоида — это групповой объект, являющийся уравнителем диаграммы.
- Частное от группоида — это групповой объект, являющийся частным от диаграммы.
- Каждый объект groupoid в категории C определяет предварительный набор в groupoids, который можно штабелировать для получения стека.
-
Применение и записи
- Понятие группоида используется для создания атласа для стека.
- В статье представлены рекомендации по форматированию библиографических описаний в HTML.