представимый функтор
1ПРЕДСТАВИМЫЙ ФУНКТОР — ковариантный (или контравариантный) функтор Fиз нек рой категории в категорию множеств , изоморфный одному из основных теоретико множественных функторов: Функтор представим тогда и только тогда, когда найдутся такие объект и элемент , что для… …
2СОПРЯЖЕННЫЙ ФУНКТОР — понятие, выражающее универсальность и естественность многих важных математич. конструкций: свободных универсальных алгебр, различных пополнений, прямых и обратных пределов и т. д. Пусть одноместный ковариантный функтор из категории в категорию… …
3Схема (математика) — В алгебраической геометрии схема  это абстракция, позволяющая связать единым образом коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести… …
4АЛГЕБРАИЧЕСКОГО МНОГООБРАЗИЯ АВТОМОРФИЗМ — обратимый морфизм алгебраич. многообразия (или схемы) в себя. Группа всех А. м. а., обозначаемая обычно , важный инвариант многообразия . Изучение действий группы А. м. а. на объектах, функторпально связанных с , таких, как Пикаро. группа, Чжоу… …
5ГОМОТОПИЧЕСКИЙ ТИП — класс гомотопически эквивалентных топологич. пространств. Отображения и наз. взаимно обратными гомотопическими эквивалентностями, если и Если выполнено только первое из этих соотношений, то gназ. гомотопически мономорфным отображением, а f… …
6СУПЕРМНОГООБРАЗИЕ — обобщение понятия многообразия, в к ром функции принимают значения в коммутативной супералгебре. Структура С. на дифференцируемом многообразии Мсо структурным пучком задается пучком коммутативных супералгебр над пучком причем любая точка обладает …
7ЭТАЛЬНАЯ ТОПОЛОГИЯ — наиболее важный пример топологии Гротендика (см. Тополoгизированная категория), позволяющий дать определение когомологич. и гомотопич. инвариантов для абстрактных алгебраич. многообразий и схем. Пусть X схема. Э. т. на Xназ. категория Xet… …
