Классификатор подобъектов - Subobject classifier

В теория категорий, а классификатор подобъектов - особый объект Ω категории такой, что интуитивно подобъекты любого объекта Икс в категории соответствуют морфизмы из Икс к Ω. В типичных примерах этот морфизм присваивает «истина» элементам подобъекта и «ложь» другим элементам подобъекта. ИКС. Следовательно, классификатор подобъектов также известен как «объект истинного значения», и это понятие широко используется в категориальном описании логики. Обратите внимание, однако, что классификаторы подобъектов часто намного сложнее, чем простые двоичные логические значения истинности {true, false}.

Вводный пример

Например, множество Ω = {0,1} является классификатором подобъектов в категория наборов и функции: для каждого подмножества А из S определяется функцией включения j : А → S мы можем назначить функцию χ_А от S в Ω, который отображает в точности элементы А до 1 (см. характеристическая функция ). Каждая функция из S к Ω возникает таким образом ровно из одного подмножества А.

Для большей ясности рассмотрим подмножество А из S (А ⊆ S), где S это набор. Представление о подмножестве может быть выражено математически с помощью так называемой характеристической функции χ_А : S → {0,1}, который определяется следующим образом:

{ displaystyle chi _ {A} (x) = { begin {case} 0, & { mbox {if}} x notin A 1, & { mbox {if}} x in A конец {case}}}

(Здесь мы интерпретируем 1 как истинное, а 0 как ложное.) Роль характеристической функции состоит в том, чтобы определить, какие элементы принадлежат подмножеству А. Фактически, χ_А верно именно на элементах А.

Таким образом, набор всех подмножеств S и сборник всех карт из S к Ω = {0,1} являются изоморфный.

Чтобы классифицировать это понятие, напомним, что в теории категорий подобъект - это фактически пара, состоящая из объекта и моник стрела (интерпретируется как включение в другой объект). Соответственно, правда относится к элементу 1, который выделен стрелкой: правда: {0} → {0, 1}, который отображает 0 в 1. Подмножество А из S теперь можно определить как откат из правда вдоль характеристической функции χ_А, показанный на следующей диаграмме:

Определенный таким образом, χ является морфизмом Sub_C(S) → Hom_C(S, Ω). По определению Ω является классификатор подобъектов если этот морфизм является изоморфизмом.

Определение

Для общего определения мы начнем с категории C что есть конечный объект, который обозначим через 1. Объект Ω из C является классификатором подобъектов для C если существует морфизм

1 → Ом

со следующим свойством:

Для каждого мономорфизм j: U → Икс есть уникальный морфизм χ_j: Икс → Ω такие, что следующие коммутативная диаграмма

это диаграмма отката -это, U это предел диаграммы:

Морфизм χ_j затем называется классифицирующий морфизм для подобъекта, представленного j.

Дальнейшие примеры

Связки наборов

Категория снопы наборов на топологическое пространство Икс имеет классификатор подобъектов Ω, который можно описать следующим образом: Для любого открытый набор U из Икс, Ω (U) - множество всех открытых подмножеств U. Конечный объект - это связка 1, которая назначает одиночка {*} в каждый открытый набор U из ИКС. Морфизм η: 1 → Ω задается семейством отображений η_U : 1(U) → Ω (U), определяемую η_U(*)=U за каждый открытый комплект U из Икс. Учитывая связку F на Икс и подснопка j: г → F, классифицирующий морфизм χ_j : F → Ω задается семейством отображений χ_{j, U} : F(U) → Ω (U), где χ_{j, U}(Икс) является объединением всех открытых множеств V из U так что ограничение Икс к V (в смысле пучков) содержится в j_V(г(V)).

Грубо говоря, утверждение внутри этого топоса может быть истинным или ложным, и его значение истинности с точки зрения открытого подмножества U открытое подмножество U где утверждение верно.

Предварительные пучки

Учитывая небольшую категорию ${ displaystyle C}$ , категория предварительные пучки ${ displaystyle mathrm {Set} ^ {C ^ {op}}}$ (т.е. категория функторов состоящий из всех контравариантных функторов из ${ displaystyle C}$ к ${ displaystyle mathrm {Set}}$ ) имеет классификатор подобъектов, заданный функтором, отправляющим любые ${ displaystyle c in C}$ к набору сита на ${ displaystyle c}$ . Классифицирующие морфизмы строятся точно так же, как в приведенном выше примере пучков множеств.

Элементарные топои

Оба приведенных выше примера сводятся к следующему общему факту: каждый элементарные топосы, определяемую как категорию с конечным пределы и энергетические объекты, обязательно имеет классификатор подобъектов.^[1] Два приведенных выше примера Grothendieck topoi, и каждый топос Гротендика - это элементарный топос.

Связанные понятия

А квазитопос имеет объект, который является почти классификатором подобъектов; он классифицирует только сильные подобъекты.

Заметки

^ Педиккио и Толен (2004) стр.8

использованная литература

Артин, Майкл; Александр Гротендик; Жан-Луи Вердье (1964). Séminaire de Géometrie Algébrique IV. Springer-Verlag.
Барр, Майкл; Чарльз Уэллс (1985). Топосы, тройки и теории. Springer-Verlag. ISBN 0-387-96115-1.
Белл, Джон (1988). Топосы и теории локальных множеств: введение. Оксфорд: Oxford University Press.
Голдблатт, Роберт (1983). Топои: категориальный анализ логики. Северная Голландия, Перепечатано Dover Publications, Inc. (2006). ISBN 0-444-85207-7.
Джонстон, Питер (2002). Эскизы слона: Сборник теории топоса. Оксфорд: Oxford University Press.
Джонстон, Питер (1977). Теория Топоса. Академическая пресса. ISBN 0-12-387850-0.
Мак-Лейн, Сондерс (1998). Категории для рабочего математика. Тексты для выпускников по математике. 5 (2-е изд.). Нью-Йорк, штат Нью-Йорк: Springer-Verlag. ISBN 0-387-98403-8. Zbl 0906.18001.
Мак-Лейн, Сондерс; Иеке Мурдейк (1992). Пучки в геометрии и логике: первое введение в теорию топоса. Springer-Verlag. ISBN 0-387-97710-4.
Макларти, Колин (1992). Элементарные категории, элементарные топы. Оксфорд: Oxford University Press. ISBN 0-19-853392-6.
Педиккио, Мария Кристина; Толен, Уолтер, ред. (2004). Категориальные основания. Специальные темы по порядку, топологии, алгебре и теории пучков. Энциклопедия математики и ее приложений. 97. Кембридж: Издательство Кембриджского университета. ISBN 0-521-83414-7. Zbl 1034.18001.
Тейлор, Пол (1999). Практические основы математики. Кембридж: Издательство Кембриджского университета. ISBN 0-521-63107-6.

[1] Педиккио и Толен (2004) стр.8

[1]