КОПРОИЗВЕДЕНИЕ

См. также в других словарях:

• Копроизведение — (категорная сумма) семейства объектов  обобщение в теории категорий для понятий дизъюнктного объединения множеств и топологических пространств и прямой суммы модулей или векторных пространств. Копроизведение семейства объектов  это… …   Википедия

• КОПРОИЗВЕДЕНИЕ — семейства объектов категории понятие, описывающее на языке морфизмов конструкции прямой суммы модулей или разъединенного объединения (букета) множеств. Пусть Ai, i ОI индексированное семейство объектов категории M. Объект S, вместе с морфизмами… …   Математическая энциклопедия

• АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… …   Математическая энциклопедия

• Произведение (теория категорий) — Произведение двух или более объектов  это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов  это в… …   Википедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия

• Категория (математика) — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Морфизм — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• ИНДУКТИВНЫЙ ПРЕДЕЛ — конструкция, к рая впервые появилась в теории множеств, а затем стала широко использоваться в алгебре, топологии и других областях математики. Важный частный случай И. п. это И. п. направленного семейства однотипных математических структур. Пусть …   Математическая энциклопедия

• МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… …   Математическая энциклопедия

• ПОЛИГОН — над моноидом R, R полигон, операнд, непустое множество с моноидом операторов. Точнее, непустое множество Аназ. левым П. над моноидом К, если для любых и определено произведение , причем и 1а=а для любых . Правый П. определяется аналогично.… …   Математическая энциклопедия