Понятия со словом «функтор»
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Функтор обратного образа — это ковариантная конструкция пучков. Функтор прямого образа является первичной операцией на пучках, с простым определением. Обратный образ обладает более тонкими свойствами.
Точный функтор — функтор, который переводит точные последовательности в точные. Точные функторы удобны для вычислений в гомологической алгебре, поскольку их можно сразу применять к резольвентам объектов. Бо́льшая часть гомологической алгебры была построена для того, чтобы сделать возможной работу с функторами, которые не являются точными, но их отличие от точных поддаётся контролю.
У определённых функторов можно взять производные функторы чтобы получить другие функторы, тесно связанные с исходными. Данная операция является довольно абстрактной, но объединяет большое количество конструкций в математике.
Подробнее: Производный функтор
Функторы Ext — производные функторы функтора Hom. Они впервые появились в гомологической алгебре, где они играют центральную роль, например, в теореме об универсальных коэффициентах, но теперь они используются во многих разных областях математики.
Подробнее: Функтор Ext
В теории категорий множества Hom (то есть множества морфизмов между двумя объектами) позволяют определить важные функторы в категорию множеств. Эти функторы называются функторами Hom и имеют многочисленные приложения в теории категорий и других областях математики.
Подробнее: Функтор Hom
В теории категорий моноидальные функторы — это функторы между моноидальными категориями, сохраняюющие моноидальную структуру, то есть умножение и тождественный элемент.
Подробнее: Моноидальный функтор
В теории категорий, представимый функтор — функтор специального типа из произвольной категории в категорию множеств. В некотором смысле, такие функторы задают представление категории в терминах множеств и функций.
Связанные понятия
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.
Подробнее: Естественное преобразование
В теории категорий,
подфунктор — специальный тип функтора в Set, использующий определение подмножества.
Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.
В математике, симметрической алгеброй S(V) (также обозначается Sym(V)) векторного пространства V над полем K называется свободная коммутативная ассоциативная K-алгебра с единицей, содержащая V.
Подробнее: Симметрическая алгебра
Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.
Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.
Полунорма или преднорма — обобщение понятия норма; в отличие от последней, полунорма может равняться нулю на ненулевых элементах пространства.
Резольве́нта — один из важных инструментов гомологической алгебры, в частности служащий для вычисления функторов Ext и Tor.
Экспоненциал — теоретико-категорный аналог множества функций в теории множеств. Категории, в которых существуют конечные пределы и экспоненциалы, называются декартово замкнутыми.
Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.
Подробнее: Дивизор (алгебраическая геометрия)
Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...
Теорема Витта — теорема о свойствах конечномерных ортогональных пространств над полями произвольного вида. Она утверждает, что любая изометрия между двумя подпространствами конечномерного ортогонального векторного пространства может быть продолжена на все пространство.
Топологическое векторное пространство, или топологическое линейное пространство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны.
В математике (общей алгебре) многочлен от нескольких переменных над полем называется гармоническим, если лапласиан этого многочлена равен нулю.
Подробнее: Гармонический многочлен
В теории категорий функторы между двумя зафиксированными категориями образуют категорию, морфизмы в которой — естественные преобразования.
Подробнее: Категория функторов
Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом (или собственным значением) линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная...
Аффи́нная свя́зность — линейная связность на касательном расслоении многообразия. Координатными выражениями аффинной связности являются символы Кристоффеля.
Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.
Свя́зность Ле́ви-Чиви́ты или связность, ассоциированная с метрикой — одна из основных структур на римановом многообразии.
В теория категорий, замкнутая моноидальная категория — это категория, позволяющая брать тензорные произведения объектов, а также рассматривать объекты, соответствующие множествам морфизмов. Классический пример — категория множеств, в которой существует декартово произведение множеств, а также множество функций между двумя множествами. «Объект, соответствующий множеству морфизмов» обычно называют внутренним Hom.
В классической механике ско́бки Пуассо́на (также возможно ско́бка Пуассо́на и скобки Ли) — это оператор, играющий центральную роль в определении эволюции во времени динамической системы. Эта операция названа в честь С.-Д. Пуассона.
Подробнее: Скобка Пуассона
Произво́дная Фреше́ (сильная производная) — обобщение понятия производной на бесконечномерные банаховы пространства. Название дано в честь французского математика Мориса Фреше.
В теории категорий, категория запятой — специальная конструкция, предоставляющая способ изучения морфизмов не как соотнесений объектов категории друг с другом, а как самостоятельных объектов. Название «категория запятой» появилось из-за первоначального (придуманного Ловером) обозначения, которое включало в себя знак запятой. Впоследствии стандартное обозначение изменилось из соображений удобства.
Аддитивная категория — предаддитивная категория C, в которой для любого конечного множества объектов A1, … , An существует произведение A1 × ⋯ × An в C, в том числе произведение пустого множества объектов — нулевой объект.
Риманов
тензор кривизны представляет собой стандартный способ выражения кривизны римановых многообразий, а в общем случае — произвольных многообразий аффинной связности, без кручения или с кручением.
В теории категорий
нормальный морфизм (соотв. конормальный морфизм) — это морфизм, являющийся ядром (соотв. коядром) некоторого морфизма. Нормальная категория — это категория, в которой каждый мономорфизм нормален. Соответственно, в конормальной категории каждый эпиморфизм конормален. Категория называется бинормальной, если она нормальна и конормальна одновременно.
Лемма о змее — это инструмент, используемый в математике, особенно в гомологической алгебре, для построения длинных точных последовательностей. Лемма о змее верна в любой абелевой категории и играет ключевую роль в гомологической алгебре и её приложениях, например в алгебраической топологии. Гомоморфизмы, построенные с её помощью, обычно называют связывающими гомоморфизмами.
А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.
Корасслоение — определённый тип непрерывных отображений между топологическими пространствами с определяющим свойством, двойственным к свойству поднятия гомотопий, выполняющихся для расслоений.
Проективная группа — группа преобразований проективного пространства, индуцируемых линейными преобразованиями соответствующего векторного пространства. Её элементы называются проективными преобразованиями — они обобщают проективные преобразования проективной плоскости. С матричной точки зрения проективная группа — это группа всех невырожденных матриц с точностью до скалярных матриц.