Sheaf theory

Вики

Локально постоянная функция

/

Локально постоянная функция Определение локально постоянной функции Функция из топологического пространства в множество, которая постоянна в окрестности каждой точки.  Примеры

Вики

Кошиф

/

Пучок Определение предслоя Предслой – это категория, в которой каждый объект является открытым множеством, а каждый морфизм – это непрерывное

Вики

Кольцевые топосы

/

Кольцеобразные топосы Определение и применение кольцевого топоса Кольцевой топос является обобщением кольцевого пространства, заменяя топологическое пространство на топос.  Используется в

Вики

Семантика Крипке

/

Семантика Крипке Основы семантики Крипке Семантика Крипке – это формальная система для определения истинности формул модальной логики.  Она основана на

Вики

∞-топос

/

∞-топос Определение ∞-топоса ∞-топос – это ∞-категория, объекты которой ведут себя как пучки пространств.  Прототип – ∞-категория пучков пространств в

Вики

Гербе

/

Гербе Определение и примеры гербов Герб – это алгебраическое пространство, которое является произведением группы и многообразия.  Примеры включают в себя

Вики

Когерентные когомологии пучков

/

Когомологии когерентного пучка Основы теории когомологий Теория когомологий изучает гомологии и двойственные им группы когомологий.  Группа когомологий используется для изучения

Вики

Локальная система

/

Локальная система Определение и примеры локальных систем Локальная система – это пучок векторных пространств, локально изоморфных в каждой точке.  Примеры

Вики

Функция обратного изображения

/

Функтор обратного изображения Определение и свойства функтора Функтор – это отображение между категориями, сохраняющее структуру.  Функтор может быть точным или

Вики

Функтор прямого изображения

/

Функтор прямого изображения Определение функтора прямого изображения Функтор прямого изображения обобщает функтор глобальных сечений на относительный случай.  Используется в топологии

Вики

Предел и предел предпучков

/

Предел и колимитация предварительных швов Определение предела в теории категорий Предел или колимит предварительных потоков в категории C определяется как

Вики

Функторы изображений для пучков

/

Функторы изображений для пучков Определение и свойства функторов Функтор – это отображение между категориями, сохраняющее структуру.  Функторы могут быть естественными,

Вики

Двойственность Вердье

/

Более яркая двойственность Определение и свойства двойственности Вердье Двойственность Вердье – это двойственность между производными категориями пучков и категориями абелевых

Вики

Постоянная связка

/

Постоянный пучок Определение и свойства пучков Пучок – это семейство отображений, удовлетворяющее аксиомам склеивания и локального тождества.  Пучок является объектом

Вики

Связка модулей

/

Набор модулей Основы теории пучков Пучки – это модули, которые локально похожи на кольца.  Пучки могут быть определены на топологических

Вики

Стебель (сноп)

/

Стебель (сноп) Стержень пучка – математическая конструкция, описывающая поведение пучка вокруг заданной точки.  Пучки определены на открытых множествах, но лежащее

Вики

Гиперфункция

/

Гиперфункция Гиперфункции – обобщения функций, представляющие “скачок” от одной голоморфной функции к другой на границе.  Гиперфункции были представлены Микио Сато

Вики

Герм (математика)

/

Зародыш (математика) Зародыш объекта в топологическом пространстве – класс эквивалентности объекта и других подобных объектов, отражающий их общие локальные свойства. 

Вики

Абстрактная дифференциальная геометрия

/

Абстрактная дифференциальная геометрия Абстрактная дифференциальная геометрия (ADG) – форма дифференциальной геометрии без понятия гладкости, разработанная Анастасиосом Маллиосом и Иоаннисом Раптисом. 

Вики

Обратный пучок

/

Обратимый пучок Обратимый пучок в математике – пучок в кольцевом пространстве с величиной, обратной тензорному произведению пучков модулей.  Обратимые пучки