Елементарний топос

Елементарний топос — категорія, в певному сенсі схожа на категорію множин, основний предмет вивчення теорії топосів. Засобами елементарних топосів можна описати аксіоматику як самої теорії множин, так і альтернативних теорій та логік, наприклад, інтуїціоністську логіку.

Визначення

Елементарний топос — це декартово замкнута повна категорія, в якій існує виділений об'єкт $\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$-пучків множин є топосом Гротендіка. Більш того, будь-який топос Гротендіка має такий вигляд.
• Взагалі, не будь-який топос Гротендіка є категорією пучків на деякому топологічному просторі. Наприклад, топос пучків на топологічному просторі має точки, відповідні точкам цього простору, тоді як загальний топос може мати жодної точки. Аналогію між топосами і просторами можна зробити точною, якщо як простори розглядати локалі, при цьому категорія топосів виявляється еквівалентною категорії локалей. Неформально, локаль — це те, що залишається від поняття топологічного простору, якщо забути про точки і розглядати лише ґратку його відкритих підмножин. Для топологічних просторів немає різниці між поглядом них як на простори і як на локалі. Проте, локаль має відповідати деякому топологічному простору. Зокрема, вона повинна мати точки.

Література

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