Топология Гротендика
Топология Гротендика Топология Гротендика Структура категории C, заставляющая объекты действовать как открытые множества топологического пространства Категория вместе с топологией называется […]
Вики
Topos theory
Вики
Топология Гротендика
Топология Гротендика Топология Гротендика Структура категории C, заставляющая объекты действовать как открытые множества топологического пространства Категория вместе с топологией называется
Вики
Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO – объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается
Вики
Объект натуральных чисел
Объект натуральных чисел Определение натуральных чисел в теории категорий NNO – объект с рекурсивной структурой, аналогичной натуральным числам. NNO задается
Вики
Эффективный топос
Эффективные топосы Определение и свойства топоса натуральных чисел Топос натуральных чисел – это категория, в которой объекты являются натуральными числами,
Вики
Кольцевые топосы
Кольцеобразные топосы Определение и применение кольцевого топоса Кольцевой топос является обобщением кольцевого пространства, заменяя топологическое пространство на топос. Используется в
Вики
Основная теорема теории топоса
Фундаментальная теорема теории топосов Определение и свойства топосов Топосы – это категории с дополнительной структурой, включающей топологические морфизмы. Топосы обладают
Вики
Классификатор подобъектов
Классификатор подобъектов Определение классификатора подобъектов Классификатор подобъектов – это морфизм, который отображает объект в классификатор. Классификатор подобъектов является изоморфизмом в
Вики
История теории топоса
История теории топоса История и развитие топосов Топосы возникли в алгебраической геометрии для описания многообразий с “достаточным количеством” точек. В
Вики
Предпучок (теория категорий)
Предварительный пучок (теория категорий) Статья обсуждает понятие расширения Йонеды в теории категорий. Расширение Йонеды позволяет определить левосопряженный функтор к некоторому
Вики
Топология Нисневича
Топология Нисневича Нисневич предложил топологию, основанную на схеме аффинной группы. Топология Нисневича обеспечивает когомологическую интерпретацию классов схемы аффинной группы. Нисневич
Вики
Топология Гротендика
Топология Гротендика Топология – это изучение свойств пространств и их отношений друг к другу. Топология может быть определена на категориях,