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