Sheaf theory

Вики

Кошиф — Википедия

/

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

Вики

Кольцевое пространство — Википедия

/

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

Вики

Кольцевые топосы — Википедия

/

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

Вики

Плоская топология — Википедия

/

Плоская топология Определение и свойства топологии fpqc Топология fpqc — это топология, которая возникает из семейства сюръективных морфизмов между аффинными

Вики

Топология Гротендика — Википедия

/

Топология Гротендика Основы топологии Топология — это структура, которая определяет, какие наборы являются открытыми.  Топология может быть определена на категориях,

Вики

Семантика Крипке — Википедия

/

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

Вики

Связный пучок — Википедия

/

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

Вики

Связка модулей — Википедия

/

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

Вики

∞-топос — Википедия

/

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

Вики

Сноп (математика) — Википедия

/

Связка (математика) Определение и свойства пучков Пучок — это семейство открытых подмножеств с заданным отображением на базовое пространство.  Пучок является

Вики

Гербе — Википедия

/

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

Вики

Топос — Википедия

/

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

Вики

Топос — Википедия

/

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

Вики

Шесть операций — Википедия

/

Шесть операций Основы формализма шести операций Гротендика Шесть операций Гротендика в гомологической алгебре представляют собой формализм, связывающий когомологии схем.  Аксиомы

Вики

Топос — Википедия

/

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

Вики

Связный пучок — Википедия

/

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

Вики

Локальная система — Википедия

/

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

Вики

Топос — Википедия

/

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

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