- функтор композиции
- мат. composition functor
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… … Википедия
Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Теория категорий — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… … Википедия
Категория (математика) — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
Морфизм — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
МОТИВОВ ТЕОРИЯ — обобщение различных теорий когомологий алгебраич. многообразий. М. т. систематически обобщает идею использования якобиана алгебраич. кривой Xв качестве замены когомологий в классич. теории соответствий и использовании этой теории для изучения… … Математическая энциклопедия
СИМПЛИЦИАЛЬНОЕ МНОЖЕСТВО — (прежние названия полусимплициальный комплекс, полный полусимплициальный комплекс) симплициальный объект категории множеств Ens, т. е. система множеств (n х слоев) , связанных отображениями , (операторами граней), и si: К п Kn+1, (операторами… … Математическая энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
ИНДУКТИВНЫЙ ПРЕДЕЛ — конструкция, к рая впервые появилась в теории множеств, а затем стала широко использоваться в алгебре, топологии и других областях математики. Важный частный случай И. п. это И. п. направленного семейства однотипных математических структур. Пусть … Математическая энциклопедия
КОГОМОЛОГИЧЕСКАЯ ОПЕРАЦИЯ — естественное преобразование одних когомологич. функторов в другие (чаще всего в себя). Когомологической операцией типа (n, m; p, G), п, то целые числа, я, G абелевы группы, наз. такое семейство заданных для любого пространства Xотображений (не… … Математическая энциклопедия