ковариантный функтор
Смотреть что такое "ковариантный функтор" в других словарях:
Функтор (математика) — У этого термина в программировании есть другое значение: «Функтор (программирование)». Все значения этого слова здесь. Функтор это особый тип отображений между категориями, сохраняющих структуру. Их можно рассматривать как морфизмы в… … Википедия
ФУНКТОР — отображение одной категории в другую, согласованное со структурой категории. Точнее, одноместным ковариантным функтором из категории в категорию или, короче, Ф. из в наз. пара отображений обозначаемых обычно одной и той же буквой, напр. F… … Математическая энциклопедия
МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… … Математическая энциклопедия
СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… … Математическая энциклопедия
Контравариантный функтор — Теория категорий раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… … Википедия
ПРЕДСТАВИМЫЙ ФУНКТОР — ковариантный (или контравариантный) функтор Fиз нек рой категории в категорию множеств , изоморфный одному из основных теоретико множественных функторов: Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для… … Математическая энциклопедия
ПРОИЗВОДНЫЙ ФУНКТОР — функтор, измеряющий отклонение основного функтора от точного. Пусть Т( А, С). аддитивный функтор из категории R1 модулей и R2 модулей в категорию R модулей, ковариантный по первому аргументу и контравариантный по второму. Для инъективной… … Математическая энциклопедия
ГИПЕРГОМОЛОГИЙ ФУНКТОР — набор функторов на категории комплексов, связанный с нек рым функтором F. Именно, пусть ковариантный аддитивный функтор из абелевой категории Ас достаточным числом проективных объектов в абелеву категорию В. Пусть далее К. цепной комплекс со… … Математическая энциклопедия
ВЛОЖЕНИЕ КАТЕГОРИЙ — ковариантный функтор F из категории Св категорию С , инъективный на классе морфизмов категории С … Математическая энциклопедия
СИМПЛИЦИАЛЬНЫЙ ОБЪЕКТ — категории произвольный контравариантный функтор X: (или, что то же самое, ковариантный функтор ) из категории D, объектами к рой являются упорядоченные множества [n]={0, 1, . . ., п}, , а морфизмами неубывающие отображения m: . Ковариантный… … Математическая энциклопедия
ТРОЙКА — монада, в категории моноид в категории функторов. Другими словами, Т. в категории наз. ковариантный функтор снабженный такими естественными преобразованиями и что следующие диаграммы коммутативны (здесь обозначает тождественный функтор категории… … Математическая энциклопедия
