Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

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



План:


Введення

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


1. Визначення

Елементарний топос - це декартово замкнута категорія, в якій існує виділений об'єкт Ω , Званий класифікатором підоб'єктів, і мономорфизм в нього з термінального об'єкта T \ colon 1 \ to \ Omega , Званий істиною (також позначається t r u e ), Такий що для будь-якого мономорфизм m \ colon A \ to B існує єдиний морфізм \ Chi_m \ colon B \ to \ Omega , Для якого діаграма

CharakterPullbackTopos.png

є декартовим квадратом.

Інакше кажучи, елементарний топос - це категорія, що має термінальний об'єкт і Декарта квадрат будь-яких двох стрілок із загальним кінцем, а також експоненціал a b будь-яких двох об'єктів a і b і класифікатор підоб'єктів Ω .


2. Властивості

3. Приклади

  • Основним прикладом топосу, властивості якого послужили основою для загального визначення, є топос множин. У ньому експоненціал множин A і B - Це безліч A B відображень з B в A . Класифікатор підоб'єктів - це безліч Ω = {0, 1} , При цьому m - Природне вкладення A в B , А χ m - характеристична функція підмножини A безлічі B , Що дорівнює 1 на елементах A і 0 на елементах A \ backslash B . Подоб'екти A - Це його підмножини.

Література

  • Р. Голдблатт топосу. Категорний аналіз логіки, - М .: Світ, 1983. - 487 с.

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Топос
Елементарний сюжет
Елементарний грунтовий ареал
Елементарний електричний заряд
© Усі права захищені
написати до нас
Рейтинг@Mail.ru