Элементарный топос

Шаблон:Также Элемента́рный то́пос — категория, в некотором смысле похожая на категорию множеств, основной предмет изучения теории топосов. Средствами элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика.

Определение

Элементарный топос — это декартово замкнутая конечно полная категория, в которой существует выделенный объект $\mathrm{\Omega }$, называемый классификатором подобъектов, и мономорфизм в него из терминального объекта $T:1\to \mathrm{\Omega }$, называемый истиной (также обозначается $true$), такой что для любого мономорфизма $m:A\to B$ существует единственный морфизм ${\chi }_m:B\to \mathrm{\Omega }$, для которого диаграмма

является декартовым квадратом.

Иначе говоря, элементарный топос — это категория, имеющая терминальный объект и расслоённые произведения, а также экспоненциал $a^b$ любых двух объектов $a$ и $b$ и классификатор подобъектов $\mathrm{\Omega }$.

Свойства

• Любой элементарный топос является конечно полным (по определению) и конечно кополным.

Примеры

• Основным примером топоса, свойства которого послужили основой для общего определения, является топос множеств. В нём экспоненциал множеств $A$ и $B$ — это множество $A^B$ отображений из $B$ в $A$. Классификатор подобъектов — это множество $\mathrm{\Omega }=\{0;1\}$, при этом $m$ — естественное вложение $A$ в $B$, а ${\chi }_m$ — характеристическая функция подмножества $A$ множества $B$, равная 1 на элементах $A$ и 0 на элементах $A\mathrm{\setminus }B$. Подобъекты $A$ — это его подмножества.
• Категория конечных множеств также является топосом. Это типичный пример элементарного топоса, не являющегося топосом Гротендика.
• Для любой категории $C$ категория функторов $[C,𝐒𝐞𝐭]$ является топосом Гротендика. Пределы и копределы функторов вычисляются поточечно. Для функторов $F,G$ функтор морфизмов $[F,G]$ даётся формулой

$[F,G](c)=\mathrm{H}\mathrm{o}\mathrm{m}(F(c),G(c))$

Из леммы Йонеды следует, что классификатор подобъектов $\mathrm{\Omega }$ на объекте $c\in C$ равен множеству подфункторов представимого функтора $\mathrm{H}\mathrm{o}\mathrm{m}(c,\cdot )$.

• Категория пучков множеств на любом топологическом пространстве является топосом Гротендика. Если сопоставить пространству $X$ его категорию открытых подмножеств, упорядоченных по вложению, $Ouv(X)$, то структура топоса на категории пучков описывается в точности так же, как в топосе $[Ouv(X),𝐒𝐞𝐭]$. Единственное отличие: $\mathrm{\Omega }(c)$ есть множество всех подпучков представимого пучка ${\mathrm{H}\mathrm{o}\mathrm{m}}_{Ouv(X)}(c,\cdot )$.
• Более общо, для любой категории $C$ с заданной топологией Гротендика $\tau$ категория $\tau$-пучков множеств является топосом Гротендика. Более того, любой топос Гротендика имеет такой вид.
• Вообще говоря, не любой топос Гротендика является категорией пучков на некотором топологическом пространстве. Например, топос пучков на топологическом пространстве всегда имеет точки, соответствующие точкам этого пространства, в то время как общий топос может не иметь ни одной точки. Аналогию между топосами и пространствами можно сделать точной, если в качестве пространств рассматривать локали, при этом категория топосов оказывается эквивалентна категории локалей. Неформально, локаль — это то, что остаётся от понятия топологического пространства, если забыть про точки и рассматривать лишь решётку его открытых подмножеств. Для топологических пространств нет разницы между взглядом на них как на пространства и как на локали. Однако, локаль не обязана соответствовать некоторому топологическому пространству. В частности, она не обязана иметь точки.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга