- естественное преобразование
- мат. natural transformation
Большой англо-русский и русско-английский словарь. 2001.
естественное преобразование
Смотреть что такое "естественное преобразование" в других словарях:
Естественное преобразование — (функторный морфизм) одно из основных понятий теории категорий. Если и ковариантные функторы из категории в , то отображение, при котором каждому объекту категории соответствует морфизм … Википедия
ЕСТЕСТВЕННОЕ ПРАВО — – одно из направлений в буржуазной науке о государстве и праве, господствовавшее в течение 17–18 вв. Естественная школа права давала в различных вариантах теоретическое обоснование экономическим и политическим требованиям буржуазии во время… … Советский юридический словарь
КОГОМОЛОГИЧЕСКАЯ ОПЕРАЦИЯ — естественное преобразование одних когомологич. функторов в другие (чаще всего в себя). Когомологической операцией типа (n, m; p, G), п, то целые числа, я, G абелевы группы, наз. такое семейство заданных для любого пространства Xотображений (не… … Математическая энциклопедия
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
Сопряжённые функторы — в математике и в частности в теорий категорий это пара функторов, состоящих в определённом соотношении между собой. Сопряжённые функторы часто встречаются в разных областях математики. Неформально функторы F и G сопряжены, если они… … Википедия
Монада (математика) — У этого термина существуют и другие значения, см. Монада (значения). Монада в теории категорий это тройка (T, η, μ), где: функтор из категории K в себя, естественное преобразование естественное преобразование следующая диаграмма… … Википедия
Функторный морфизм — Естественное преобразование (функторный морфизм) одно из основных понятий теории категорий. Если S и T ковариантные функторы из категории в , то отображение, при котором каждому объекту C категории соответствует морфизм категории … Википедия
МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… … Математическая энциклопедия
МНОГООБРАЗИЕ — категорий понятие, аналогичное понятию многообразия универсальных алгебр. Пусть бикатегория с произведениями. Полная подкатегория категории наз. многообразием, если она удовлетворяет следующим условиям: а) если допустимый мономорфизм и б) если… … Математическая энциклопедия
ПОСЛЕДОВАТЕЛЬНОСТЕЙ КАТЕГОРИЯ — частный случай общей конструкции категории функторов или категории диаграмм. Пусть множество целых чисел, снабженное обычным отношением порядка. Тогда можно рассматривать как малую категорию, объектами к рой являются целые числа, а морфизмами… … Математическая энциклопедия
РЕФЛЕКТИВНАЯ ПОДКАТЕГОРИЯ — подкатегория, содержащая наибольшую модель любого объекта категории. Точнее, полная подкатегория категории наз. р е ф л е к т и в н о й, если содержит рефлектор (см. Рефлектор).для любого объекта категории. Полная подкатегория категории… … Математическая энциклопедия
