Выталкивание (теория категорий)
- Выталкивание — это операция в категории, которая объединяет два объекта в один.
- Выталкивание может быть определено как склеивание двух пространств вдоль общей карты.
- В категории абелевых групп выталкивание называется бесплатным продуктом с объединением.
- В категории групп, pushout является бесплатным продуктом с объединением и проявляется в теореме Зайферта-ван Кампена.
- Вытеснения эквивалентны побочным продуктам и коэквивалайзерам в категории C, если существуют исходный объект и соответствующие морфизмы.
- Теорема Зайферта-ван Кампена позволяет восстановить фундаментальную группу пространства, используя выталкивания индуцированных гомоморфизмов.
Полный текст статьи: