Копродукт — Википедия, бесплатная энциклопедия

Побочный продукт Копроизведение в категории — это универсальный морфизм, который объединяет объекты в категории.  Примеры копроизведений включают прямую сумму абелевых […]

Побочный продукт

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

Полный текст статьи:

Копродукт — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх