Теория снопа

Вики

Когомологии Делиня

/

Когомологии Делиня Определение и свойства когомологий Делиня Когомологии Делиня — гиперкогомологии комплекса Делиня, представленного Пьером Делинем в 1972 году.  Комплекс […]

Вики

D-модуль

/

D-модуль Определение и свойства D-модулей D-модуль — это объект в категории D-модулей, который является проективным модулем над кольцом дифференциальных операторов. 

Вики

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

/

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

Вики

Обложка Лере

/

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

Вики

Проблемы с двоюродным братом

/

Проблемы двоюродного брата Определение и свойства голоморфных функций Голоморфные функции — это функции, которые дифференцируемы и имеют непрерывные производные.  Голоморфные

Вики

Топос

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

Топос

/

Клише Топосы — это категории с определенными свойствами, такими как декартова замкнутость и существование конечных пределов и мощности объектов.  Логические

Прокрутить вверх