Побочный продукт
- Копроизведение в категории — это универсальный морфизм, который объединяет объекты в категории.
- Примеры копроизведений включают прямую сумму абелевых групп и пространство, охватываемое почти непересекающимся объединением.
- Копроизведение можно понимать как универсальное свойство в теории категорий.
- Побочный продукт в категории определяется как предел функтора из дискретной категории.
- Копроизведение может быть представлено как универсальный морфизм функтора от объекта к C × C.
- Если все семейства объектов имеют сопутствующие продукты в C, копроизведение содержит функтор CJ → C.
Полный текст статьи: