- функтор копроизведения
- мат. coproduct functor
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
Теория категорий — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… … Википедия
АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… … Математическая энциклопедия
МАЛЫЙ ОБЪЕКТ — категории понятие, выделяющее такие объекты категории, к рым присущи свойства математич. структур с конечным числом образующих (конечномерных линейных пространств, конечно порожденных групп и т. д.). Пусть категория с копроизведениями. Объект наз … Математическая энциклопедия
ГОМОТОПИЧЕСКИЙ ТИП — топологизированной категории проективная система топологич. пространств, ассоциированная с топологизированной категорией и позволяющая определять гомотопические группы этой категории, группы гомологии и когомологий со значениями в абелевой группе … Математическая энциклопедия
МНОЖЕСТВ КАТЕГОРИЯ — категория, объектами к рой являются всевозможные множества, морфиз мами всевозможные отображения множеств друг в друга, и умножение морфизмов определяется как последовательное выполнение отображений и Если теоретико категорные рассмотрения… … Математическая энциклопедия
Фундаментальная группа — Фундаментальная группа определённая группа, которая сопоставляется топологическому пространству. Грубо говоря, эта группа измеряет количество «дырок» в пространстве. Наличие «дырки» определяется невозможностью непрерывно продеформировать… … Википедия
Полная категория — Категория называется полной в малом, если в ней любая (малая) диаграмма имеет предел. Дуальное понятие кополная в малом категория, то есть та, в которой любая малая диаграмма имеет копредел. Аналогично определяется конечная полнота и вообще … Википедия