Копроизведение: различия между версиями

'''Копроизведение''' ('''категорная сумма''') семейства объектов — обобщение в [[Теория категорий|теории категорий]] для понятий [[Дизъюнктное объединение|дизъюнктного объединения]] [[Множество (математика)|множеств]] и [[Топологическое пространство|топологических пространств]] и [[Прямая сумма|прямой суммы]] [[Модуль над кольцом|модулей]] или [[Векторное пространство|векторных пространств]]. Копроизведение семейства объектов — это наиболее общий объект, в которомкоторый существует [[морфизм]] из каждого объекта семейства. Копроизведение объектов [[Двойственная категория|двойственно]] их [[Произведение (теория категорий)|произведению]], то есть определение копроизведения можно получить из определения произведения обращением всех стрелок. Тем не менее, реально произведение и копроизведение объектов разительно отличаются.