Перегляд вихідного коду сторінки Основні поняття теорії категорій

Категорією називається пара множин: <math>\mathrm{Ob}</math> - множина математичних об'єктів та <math>\mathrm{Mor}</math> - множина морфізмів. Поняття морфізму у теорії категорій узагальнює поняття відображення. Запис <math>f:A\to B</math> означає, що <math>f\in\mathrm{Mor}(A,B).</math> За допомогою теорії категорій формулюються властивості математичних об'єктів через їх відображення, що зберігають їх структуру. На об'єктах й морфізмах задаються наступні операції.
# Унарні операції <math>\mathrm{Dom}\,f</math> та <math>\mathrm{Codom}\,f,</math> які зіставляють кожному морфізмові <math>f\in\mathrm{Mor}</math> пару математичних об'єктів <math>(A,B)\in\mathrm{Ob},</math> та які називаються відповідно областю визначення <math>\mathrm{Dom}</math> та областю значення <math>\mathrm{Codom}</math> морфізму <math>f</math>. 
# Унарна операція <math>e,</math> яка зіставляє кожному об'єкту з множини <math>\mathrm{Ob}</math> так званий одиничний морфізм <math>e</math>; зокрема, якщо <math>A\in\mathrm{Ob},</math> то одининий морфізм <math>e_{A}</math> є морфізмом з <math>A</math> у <math>A.</math> Замість <math>e_{A}</math> пишуть також <math>1_{A}</math> або <math>\mathrm{Id}_{A}</math> (<math>\mathrm{Id}</math> від "ідемпотент").
# Тернарна операція <math>\circ(A,B,C),</math> яка зіставляє кожній трійці об'єктів <math>A,B,C\in\mathrm{Ob}</math> операцію композиції, яка дає по парі морфізмів <math>f:A\to B</math> та <math>g:B\to C</math> їхню композицію <math>f\circ(A,B,C)g:A\to C.</math> При цьому виконуються наступні алгебричні тотожності:
* <math>\mathrm{Id}_{A}\circ g=g</math> та <math>f\circ\mathrm{Id}_{A}=f</math> для усіх <math>f:B\to A</math> та <math>g:A\to B</math>;
* <math>A\circ(B\circ C)=(A\circ B)\circ C</math> (асоціативність композиції). 

Дану композицію можна записати й наступним чином: <math>\mathrm{Mor}(B,C)\times\mathrm{Mor}(A,B)\to\mathrm{Mor}(A,C).</math>

Прикладом категорії може бути реляційна система <math>\langle X,\leq\rangle</math> (частково впорядкована множина), у якій об'єктами є елементи <math>\mathrm{Ob}\,X,</math> а множина морфізмів з об'єкта <math>A</math> у об'єкт <math>B</math> категогії <math>X,</math> де <math>A,B\in\mathrm{Ob}\,X,</math> є непустою лише у випадку, якщо <math>A\leq B.</math> У цьому випадку <math>\mathrm{Mor}</math> складається лише з одного морфізму, який називається морфізмом порядку. Частковий порядок називається також квазіпорядком, а частково впорядкована множина - квазівпорядкованою. 

Якщо <math>\mathcal{C}</math> є категорією, то дуальна категорія <math>\mathcal{C}_{dual}</math> визначається як категорія, яка містить ті самі об'єкти, що й категорія <math>\mathcal{C},</math> однак у якій множина <math>\mathrm{Mor}(A,B)</math> об'єкта <math>A</math> у об'єкт <math>B</math> ототожнюється із <math>\mathrm{Mor}(B,A).</math> Композиція морфізмів <math>f\circ g</math> у дуальній категорії <math>\mathcal{C}_{dual}</math> визначається як композиція морфізмів <math>g\circ f.</math> Таким чином, будь-яке математичне поняття або тверждення, яке відноситься до декотрої категорії, має дуальне твердження або поняття ("процес обернення стрілок").

Категорія <math>\mathfrak{C}</math> називається підкатегорією категорії <math>\mathcal{C}</math> якщо об'єкти <math>\mathrm{Ob}\,\mathfrak{C}</math> належать до об'єктів <math>\mathrm{Ob}\,\mathcal{C},</math> тобто <math>\mathrm{Ob}\,\mathfrak{C}\subset\mathrm{Ob}\,\mathcal{C},</math> а також якщо формізми <math>\mathrm{Mor}\,\mathfrak{C}</math> належать до морфізмів <math>\mathrm{Mor}\,\mathcal{C},</math> тобто <math>\mathrm{Mor}\,\mathfrak{C}\subset\mathrm{Mor}\,\mathcal{C}.</math> Тотожні морфізми <math>\mathrm{Id}_{\mathrm{Ob}\,\mathfrak{C}}</math> та <math>\mathrm{Id}_{\mathrm{Ob}\,\mathcal{C}}</math> у обох категоріях є однаковими та закон композиції морфізмів категорії <math>\mathfrak{C}</math> породжується законом композиції морфізмів категорії <math>\mathcal{C}.</math> Підкатегорія <math>\mathfrak{C}</math> категорії <math>\mathcal{C}</math> називається повною, якщо для будь-якої пари <math>(A,B)\in\mathrm{Ob}\,\mathfrak{C}</math> справджується рівність <math>\mathrm{Mor}_{\mathfrak{C}}(A,B)=\mathrm{Mor}_{\mathcal{C}}(A,B).</math>

Зазвичай користуються наступними позначеннями морфізмів:
* гомоморфізм <math>\mathrm{Hom}_{\mathcal{C}}(A,B)=\mathrm{Mor}(A,B),</math>
* ендоморфізм <math>\mathrm{End}_{\mathcal{C}}(A)=\mathrm{Mor}(A,A),</math>
* <math>\mathrm{Aut}_{\mathcal{C}}(A)</math> - група автоморфізмів об'єкта <math>A</math> (в <math>\mathcal{C}</math>).

Нехай <math>f:A\to B</math> є морфізмом категорії <math>\mathcal{C}.</math> Для кожного об'єкта <math>C\in\mathrm{Ob}\,\mathcal{C}</math> розгляньмо відображення <math>\mathrm{Hom}_{\mathcal{C}}(C,A)\to\mathrm{Hom}_{\mathcal{C}}(C,B),</math> який ставить у відповідність кожному елементові <math>g\in\mathrm{Hom}_{\mathcal{C}}(C,A)</math> елемент <math>f\circ g\in\mathrm{Hom}_{\mathcal{C}}(C,B).</math> Морфізм <math>f</math> називється мономорфізмом, якщо наведене відображення є ін'єктивним для будь-якого об'єкта <math>C\in\mathrm{Ob}\,\mathcal{C}.</math>. 

Нехай тепер <math>f:A\to B</math>  - довільний морфізм та <math>C</math> - довільний об'єкт категорії <math>\mathcal{C}.</math> Розгляньмо відображення <math>\mathrm{Hom}_{\mathcal{C}}(B,C)\to\mathrm{Hom}_{\mathcal{C}}(A,C),</math> що ставить у відповідність кожному елементові <math>g\in\mathrm{Hom}_{\mathcal{C}}(B,C)</math> елемент <math>g\circ f\in \mathrm{Hom}_{\mathcal{C}}(A,C).</math> Морфізм <math>f</math> називається епіморфізмом, якщо задане відображення є ін'єктивним для будь-якого об'єкта <math>C</math> категорії <math>\mathcal{C}.</math> Зрозуміло, що <math>f</math> є епіморфізмом лише тоді, коли він розглядується як елемент з <math>\mathrm{Hom}_{\mathcal{C}_{dual}}(B,A)</math> й є мономорфізмом. Іншими словами, епіморфізм отримується шляхом дуалізації поняття мономорфізму. 

Таким чином, морфізм <math>f</math> називається мономорфізмом, якщо <math>f\circ g=f\circ h\Rightarrow g=h</math> (відповідно <math>g\circ f=h\circ f\Rightarrow g=h</math>). Мономорфізм називають також вкладенням (ін'єкцією), а епіморфізм - накладанням (сюр'єкцією). 

Запевнимося у цьому, розглянувши мономорфізм <math>f:A\to B,</math> зробивши припущення, що це відображення не є ін'єктивним. Тоді за декотрих різних <math>a_{1}</math> та <math>a_{2}</math> одержимо <math>a_{1}f=a_{2}f.</math> Оберімо одноелементу множину <math>C=\{c\}</math> та нехай <math>g_{1}:C\to A</math> та <math>g_{2}:C\to A</math> визначаються рівностями <math>cg_{1}=a_{1}</math> та <math>cg_{2}=a_{2}.</math> Тоді <math>cg_{1}f=cg_{2}f</math> та <math>g_{1}f=g_{2}f.</math> Оскільки <math>g_{1}\neq g_{2},</math> то одержуємо суперечливість із визначенням мономорфізму. 

Нехай тепер <math>f:A\to B</math> є епіморфізмом та його образом у <math><B</math> є підмножина <math>B_{0}\subset B.</math> Візьмімо дві множини <math>B_{1}</math> та <math>B_{2}</math> із перетином <math>B_{1}\cap B_{2}=B_{0}'</math> таким чином, щоб справджувалися умови: 
* є два взаємно однозначних відображення <math>g_{1}:B\to B_{1}</math> та <math>g_{2}:B\to B_{2},</math> які співпадають на <math>B_{0}</math> та є різними поза <math>B_{0}</math> та які дають взаємно однозначне відображення <math>B_{0}\to B_{0}'.</math> Оберімо <math>C=B_{1}\cup B_{2},</math> тоді одержимо відображення <math>g_{1}:B\to C</math> та <math>g_{2}:B\to C.</math> Відображення <math>g_{1}</math> та <math>g_{2}</math> є різними, але <math>fg_{1}=fg_{2}.</math> Наведена множина <math>C=B_{1}\cup B_{2}</math> пов'язана із поняттям амальгами, яке застосовується до алгебр. 

Композиція мономорфізмів є знову мономорфізмом (так само, як композиція ін'єктивних відображень є ін'єктивною). Якщо <math>f\circ g</math> є мономорфізмом, то <math>f</math> - мономорфізм. 

Якщо <math>g\circ f</math> є епіморфізмом, то <math>g</math> - є епіморфізмом. Зрозуміло, що композиція двох епіморфізмів є епіморфізмом. 

Якщо <math>f</math> є одночасно мономорфізмом (ін'єкцією) й епіморфізмом (сюр'єкцією), то <math>f</math> - ізоморфізм. Конкретніше, морфізм <math>f</math> називається ізоморфізмом, якщо існує морфізм <math>g</math> такий, що <math>f\circ g=\mathrm{Id}_{B}</math> та <math>g\circ f=\mathrm{Id}_{A},</math> тобто якщо морфізм <math>f</math> є зворотним. Ізоморфізм <math>f:A\simeq B.</math> позначається <math>\mathrm{Iso}(A,B).</math> Композиція ізоморфізмів є ізоморфізмом.

Нехай тепер <math>X\in\mathrm{Ob}\,\mathcal{C}.</math> Розгляньмо мономорфізми <math>f:Y\to X</math> та <math>g:Z\to X.</math> Говорять, що момноморфізм <math>f</math> мажорує мономорфізм <math>g</math> та пишуть <math>f\geq g</math> (або <math>g\leq f</math>), якщо існує морфізм <math>h:Z\to Y</math> такий, що <math>f\circ h=g.</math> Відношення <math>\geq</math> є рефлексивним й транзитивним. 

Припустімо, що також <math>g\geq f,</math> тоді існують ізоморфізми <math>\varphi:Y\to Z</math> та <math>h:Z\to Y,</math> такі, що <math>g=f\circ h</math> та <math>f=g\circ \varphi.</math> Однак тоді <math>g=g(\varphi\circ h)</math> та <math>f=f(h\circ \varphi),</math> і оскільки <math>f</math> та <math>g</math> є мономорфізмами, то <math>\varphi\circ h=\mathrm{Id}_{Z}</math> та <math>h\circ\varphi=\mathrm{Id}_{Y}.</math> 

Два мономоріфзма <math>f:Y\to X</math> та <math>g:Z\to X,</math> для яких <math>f\geq g</math> та <math>g\geq f,</math> називаються еквівалентними (при цьому говорять, що мономорфізми <math>f</math> та <math>g</math> мажорують один одного). 

Ретракція морфізму <math>g:B\to A</math> називається такий морфізм <math>f:A\to B,</math> що <math>f\circ g=\mathrm{Id}_{B}.</math>

Перетин морфізму <math>g:B\to A</math> - це такий морфізм <math>f:A\to B,</math> що <math>g\circ f=\mathrm{Id}_{A}.</math>

За допомогою аксіоми вибору оберемо у класі еквівалентних мономорфізмів по представнику (в якості представника класу мономорфізмів, що еквівалентні <math>\mathrm{Id}_{X},</math> тобто класу усіх ізоморфізмів із областю значення <math>X</math>). Отримані таким чином мономорфізми називаються підоб'єктами об'єкта <math>X.</math> Підоб'єкти об'єкта <math>A</math> у цьому випадку є не просто об'ктами категорії <math>\mathcal{C},</math> а декотрими парами <math>(X,x),</math> де <math>f:Y\to X</math> є мономорфізмом (який називається канонічним мономорфізмом <math>Y</math> у <math>X</math>). 

Фактороб'єкт та канонічний епіморфізм визначаються дуально: у цьому випадку розглядають відношеня мажорування <math>\geq</math> на епіморфізмах із спільною областю визначення. Це відношення визначається наступним чином: <math>f\geq g,</math> якщо існує морфізм <math>h</math> такий, що <math>h\circ f=g</math> (тобто якщо у дуальній категорії <math>\mathcal{C}_{dual}</math> мономорфізм <math>f</math> мажорує мономорфізм <math>g</math>). Відношення між підоб'єктами чи фактороб'єктами є відношенням (часткового) порядку (для підоб'єктів <math>Y</math> та <math>Z</math> замість <math>Y\geq Z</math> записують також <math>Y\supset Z</math> чи <math>Z\subset Y</math>). 

У категорії множин (як й у категорії груп) прямий добуток співпадає із класичним прямим добутком. Однак пряма сума є їх об'єднанням (за припущення, що дані множини не перетинаються). Пряма сума груп - їх вільний добуток (тому у літературі можна зустріти замість терміну "пряма сума" термін "вільний добуток"), а пряма сума абелевих груп - їх класична пряма сума. 

Нехай <math>A\in \mathrm{Ob}\,\mathcal{C}</math> та нехай <math>(f_{i})_{i\in I}</math> - пронумерована елементами множини <math>I</math> скінченна множина (сім'я) морфізмів <math>f_{i}:A\to A_{i}.</math> тоді для будь-якого <math>B\in\mathrm{Ob}\,\mathcal{C}</math> відображення <math>g\to f_{i}\circ g</math> множини <math>\mathrm{Hom}(B,A)</math> до множини <math>\mathrm{Hom}(B,A_{i})</math> визначають відображення <math>\mathrm{Hom}(B,A)\to\prod_{i\in I}\mathrm{Hom}(B,A_{i}).</math> Говорять, що морфізми <math>f_{i}</math> визначають представлення об'єкта <math>\mathrm{Ob}\,\mathcal{C}</math> в якості прямого добутку об'єктів <math>A_{i},</math> якщо для довільного <math>B\in\mathrm{Ob}\,\mathcal{C}</math> попереднє відображення є бієктивним. Важливо зауважити, що у цьому випадку <math>A</math> - це не просто об'єкт <math>A\in\mathrm{Ob}\,\mathcal{C},</math> а об'єкт, який є наділеним сім'єю морфізмів <math>(f_{i})</math> у <math>A_{i},</math> які називаються канонічними проекціями добутку на співмножники <math>A_{i}.</math>

Дуальним чином можна представити об'єкт <math>A</math> у вигляді суми сімейства об'єктів <math>A_{i}</math> за допомогою морфізмів <math>f_{i}:A_{i}\to A</math> (для довільного <math>B\in\mathrm{Ob}\,\mathcal{C}</math> відображення <math>\mathrm{Hom}(A,B)\to\prod_{i\in I}\mathrm{Hom}(A_{i},B)</math> повинне бути бієктивним). У цьому випадку пряма сума <math>\bigoplus_{i\in I}A_{i}</math> є наділеною канонічними вкладеннями <math>A_{i}\to\bigoplus_{i\in I}A_{i}</math> (які можуть і не бути мономорфізмами). 

'''Приклади категорій'''. Розгляньмо деякі приклади. 
* Категорія <math>\textbf{Set}.</math> Об'єкти категорії <math>\textbf{Set}</math> - множини. Для довільних множин <math>A</math> та <math>B</math> двох множин <math>A,B</math> під <math>\mathrm{Hom}_{\textbf{Set}}(A,B)</math> розуміється множина усіх відображень <math>A</math> на <math>B,</math> а під композицією - звичайна композиція відображень. Аксіоматика теорії множин, що нині широко використовується, є аксіоматикою Бернайса-Гьоделя, яка базується на відмінності понять класу й множини: множиною називається клас, який є елементом якого-небудь класу (припускаються також "власні класи", тобто класи, які не є можинами - наприклад, клас усіх множин). Однак у цій аксіоматиці поняття класу усіх функторних морфізмів функтора <math>F:\mathcal{C}_{1}\to\mathcal{C}_{2}</math> у функтор <math>G:\mathcal{C}_{1}\to\mathcal{C}_{2}</math> (законний - об'єкти категорії <math>\mathcal{C}_{1}</math> утворюють множину) є незаконним, коли клас об'єктів категорії <math>\mathcal{C}_{1}</math> є власним. Справді, будь-який функторний морфізм <math>f:F\to G</math> є відображенням класу об'єктів <math>\mathrm{Ob}\,\mathcal{C}_{1}</math> у клас морфізмів <math>\mathrm{Mor}\,\mathcal{C}_{2},</math> відповідно він є ототожнюваний із підмножиною добутку <math>\mathrm{Ob}\,\mathcal{C}_{1}\times\mathrm{Mor}\,\mathcal{C}_{2},</math> утвореною усеможливими парами <math>(X,\,f(X))</math> (де <math>X\in\mathrm{Ob}\,\mathcal{C}_{1}</math>). Відтак, якщо <math>\mathrm{Ob}\,\mathcal{C}</math> є власним класом, то й <math>f</math> є власним класом. Але у такому випадку <math>f</math> не може бути елеметом жодного класу. Таким чином, якщо клас об'єктів категорії <math>\mathcal{C}_{1}</math> - не множина, то "класу" <math>\mathrm{Hom}(F,G)</math> не існує. 
* Категорія <math>\mathrm{Top}.</math> Об'єктами категорії <math>\mathrm{Top}</math> є топологічні простори. Під <math>\mathrm{Hom}_{\mathrm{Top}}(X,Y)</math> для двох довільних топологічних просторів <math>X</math> та <math>Y</math> розуміють множину усіх неперервних відображень <math>X</math> на <math>Y.</math> Під у цьому випадку композицією розуміють звичайну композицію відображень (композиція двох неперервних відображень також є неперервною). 
* Категорія <math>\mathcal{G}.</math> Об'єктами категорії <math>\mathcal{G}</math> є групи. Під <math>\mathrm{Hom}_{\mathcal{G}}(A,B)</math> для двох довільних груп <math>A</math> та <math>B</math> розуміють множину усіх гомоморфізмів групи <math>A</math> на групу <math>B.</math> Під композицією розуміють звичайну композицію гомоморфізмів. 
* Категорія <math>\mathcal{Ab}.</math> Об'єктами категорії <math>\mathcal{Ab}</math> є комутативні (абелеві) групи, а морфізми - знову гомоморфізми. Нехай <math>A\in\mathrm{Ob}\,\mathcal{Ab}.</math> У цьому випадку <math>A</math> можна вважати підгрупою абелевої групи <math>\mathcal{Ab}.</math> Іншими словами, вибір, який входить до визначення підоб'єкта, можна здійснити таким чином, щоб кожний підоб'єкт <math>A</math> мав вигляд <math>(A_{1},\phi),</math> де <math>A_{1}\subset A,</math> a <math>\phi(a)=a</math> для усіх <math>a\in A.</math>

=====Функтор=====
Розгляньмо категорії <math>\mathcal{C}_{1}</math> та <math>\mathcal{C}_{2}.</math> Коваріантним функтором з <math>\mathcal{C}_{1}</math> до <math>\mathcal{C}_{2}</math> називається "функція" <math>F,</math> яка складається із:
* відображення <math>A\mapsto F(A),</math> яке ставить у відповідність кожному об'єкту <math>A\in\mathrm{Ob}\,\mathcal{C}_{1}</math> об'єкт <math>F(A)\in\mathrm{Ob}\,\mathcal{C}_{2}</math>;
* відображень <math>F(A,B):\mathrm{Hom}_{\mathcal{C}_{1}}(A,B)\to\mathrm{Hom}_{\mathcal{C}_{2}}(F(A),F(B))</math> (відповідно <math>F(A,B):\mathrm{Hom}_{\mathcal{C}_{1}}(A,B)\to\mathrm{Hom}_{\mathcal{C}_{2}}(F(B),F(A))</math>),

визначених для усіх пар об'єктів <math>(A,B)</math> з категорії <math>\mathcal{C}_{1}</math> та таких, що <math>F(\mathrm{Id}_{A})=\mathrm{Id}_{F(A)}</math> та <math>F(gf)=F(g)\,F(f)</math> (відповідно <math>F(gf)=F(f)\,F(g)</math>).

Функтор <math>T:\mathcal{C}_{1}\to\mathcal{C}_{2}</math> складається із відображень об'єктів <math>A\mapsto T(A)</math> й відображення морфізмів <math>T(A,B):\mathrm{Hom}(A,B)\to\mathrm{Hom}(T(A),\,T(B)),</math> який зберігає добуток й тотожні морфізми. Функтор називається повним, якщо відображення <math>T(A,B)</math> є сюр'єктивним; функтор називається точним, якщо відображення <math>T(A,B)</math> є ін'єктивним. Варто відзначити, що точний функтор може переводити неізоморфні об'єкти у ізоморфні. 

Таким самим чином визначаються контраваріантні функтори з <math>\mathcal{C}_{1}</math> до <math>\mathcal{C}_{2}</math> (які є також коваріантними функторами із <math>\mathcal{C}^{dual}_{1}</math> до <math>\mathcal{C}_{2},</math> та навпаки, з <math>\mathcal{C}_{1}</math> до <math>\mathcal{C}^{dual}_{2},</math> де <math>\mathcal{C}^{dual}_{1}</math> та <math>\mathcal{C}^{dual}_{2}</math> - дуальні до категорій <math>\mathcal{C}_{1}</math> та <math>\mathcal{C}_{2}</math> категорії відповідно).

=====Мала категорія=====
Мала категорія <math>\mathcal{C}</math> - категорія, у якої <math>\mathrm{Ob}\,\mathcal{C}</math> та <math>\mathrm{Mor}(X,Y)</math> є множинами. Окрім категорії усіх множин, просторів, кілець тощо розглядають категорію множин, просторів, кілець із потужністю, яка є обмеженою декотрим кардиналом, який називається універсумом Гротендика й визначається аксіоматично. Універсум Гротендика - це множина <math>\mathcal{U},</math> яка має наступні властивості:
* якщо <math>x\in\mathcal{U}</math> та <math>y\in x,</math> то <math>y\in \mathcal{U}</math>;
* <math>\emptyset\in\mathcal{U}</math>;
* якщо <math>x\in\mathcal{U},</math> то <math>2^{x}\in\mathcal{U}</math>;
* якщо <math>\{x_{i}\}_{i\in I}</math> - сім'я, для якої <math>x_{i}\in \mathcal{U}</math> та <math>I\in\mathcal{U},</math> то <math>\bigcup_{i\in I}x_{i}\in\mathcal{U}.</math>

Подібна аксіоматика є незалежною від аксіом Цермело-Френкеля із аксіомою вибору. Користуючись аксіомами універсуму, можна переконатися, що кожна категорія із об'єктами малої потужності є еквівалентною малій категорії. 

Категорія булевих кілець є еквівалентною категорії булевих алгебр (алгебр логічних висловлювань). Якщо <math>A</math> є булевим кільцем, то операції <math>\neg,\land,\lor</math> визначаються за формулами:
* <math>\neg a=1-a</math>;
* <math>a\land b=ab</math>;
* <math>a\lor b=ab+a+b.</math>

Існування універсуму є рівносильним існуванню сильно недосяжних кардиналів у теорії множин. Як казав Архімед у своєму творі "Псамміт", "серед чисел, які ми назвали й опублікували у написаній до Зевксиппа книзі, декотрі перебільшують не лише число пісчинок у об'ємі, який дорівнює заповненій Землі, але навіть у об'ємі, рівному світу". Відповідно, число пісчинок на Землі - деяке конкретне натуральне число. Однак дати безпосереднє визначення цього числа, назвати саме це число практично неможливо. Послідовний перебір пісчинок є нездійснюваним. Відповідно, кількість пісчинок на Землі недосяжним натуральним числом. 

Зазвичай коли говорять слово "множина", розуміють під цим поняттям сукупність об'єктів довільного роду, розглядувану як єдине ціле. Нестандартна теорія множин базується на ідеї, що множини бувають різні: стандартні й нестандартні. Стандартні об'єкти виникають з вже наявних за допомогою описів типу теорем існування та єдиності, тобто постулюється припустимість рекурсії. Тобто у стандартній непустій множині міститься стандартний елемент та об'єкт, який конструюється чи визначається єдиним чином з наявних стандартних елементів, є сам стандартним. Інший аспект, пов'язаний із уявленнями про стандартність, полягає у тому, постулюється можливість індукції - пізнання ідеальних конструкцій за допомогою вивчення реально доступних стандартних об'єктів. За принципом стандартизації, кожна стандартна множина й будь-яка властивість визначають нову стандартну множину - підмножину початкової множини, стандартні елементи якої наділені вказаною властивістю. Натуральне число <math>n</math> називається нестандартним (нездійснюваним) лише у тому випадку, якщо <math>N</math> є більшим від будь-якого стандартного натурального числа, тобто <math>N\in\mathbb{N}\setminus \tilde{\mathbb{N}}\leftrightarrow (\forall n\in\tilde{\mathbb{N}})(N>n).</math> У зв'язку із цим нестандартні натуральні числа називають недосяжними (недоступними). Число <math>r\in\mathbb{R}</math> називається досяжним, якщо можна віднайти стандартне число <math>n\in\tilde{\mathbb{N}},</math> за якого <math>|r|\leq n.</math> Умова доступності числа <math>r\in \mathbb{R}</math> символічно записується як <math>r\in\mathrm{Itd}(\mathbb{R}).</math> При побудові числа <math>\aleph</math> користуються числом Хартогса <math>\mathcal{H}(x),</math> яке означає наймений із таких ординалів <math>\alpha,</math> що не існує жодного ін'єктивного відображення з <math>\alpha</math> до <math>x.</math> Ординал, нерівнопотужний жодному попередньому ординалу, називається кардиналом. Будь-яке натуральне число є кардиналом. Кардинал, який не є натуральним числом, називається нескінченним, або трансфінітним. Найменший трансфінітний кардинал позначається літерою <math>\omega.</math> Число Хартогса, відповідно, є кардиналом будь-якого <math>x.</math> Число Хартогса довільного ординалу <math>\alpha</math> є найменшим ординалом, точно більшим від <math>\alpha.</math> Нехай <math>2^{\omega_{\alpha}}</math> - потужність множини <math>\mathcal{H}(\omega_{\alpha}),</math> де <math>2^{x}</math> та <math>\mathcal{H}(x)</math> є рівнопотужними для довільного <math>x,</math> a <math>2^{x}</math> - клас усіх відображень <math>x\to 2.</math> За Г.Кантором, <math>|x|<|2^{x}|,</math> якою б не була множина <math>x.</math> Зокрема, <math>\omega_{\alpha}<2^{\omega_{\alpha}}</math> для довільного ординалу <math>\alpha.</math> Питання про те, чи немає проміжні потужності між <math>\omega_{\alpha+1}</math> та <math>2^{\omega_{\alpha}}</math> (іншими словами, чи справджується рівність <math>\omega_{\alpha+1}=2^{\omega_{\alpha}}</math>), складає суть узагальненої гіпотези континууму (за <math>\alpha=0</math> це класична проблема континууму).

====Діаграми====
Діаграмна схема <math>T</math> складається з двох множин - об'єктів <math>\mathrm{Ob}\,T</math> які називаються схемами, й множини <math>\mathrm{Mor}\,T</math> елементами якої морфізми (стрілки), а також двох відображень <math>D_{T},E_{T}:\mathrm{Mor}\,T\to\mathrm{Ob}\,T.</math> Для будь-якого морфізму <math>f\in\mathrm{Mor}\,T</math> об'єкт <math>D_{T}f</math> називається його областю визначення, а об'єкт <math>E_{T}f</math> - його областю значень.

Підмножина множини <math>\mathrm{Mor}\,T,</math> яка складається із усіх морфізмів із даною областю визначення <math>D</math> та даною областю значень <math>E,</math> позначається <math>\mathrm{Hom}_{F}(D,E).</math> Запис <math>f:D\to E</math> означає, що <math>f\in\mathrm{Hom}_{T}(D,E).</math>

Морфізм <math>g</math> схеми <math>T</math> у схему <math>U</math> - пара відображень <math>g_{\mathrm{Ob}}:\mathrm{Ob}\,T\to\mathrm{Ob}\,U</math> та <math>g_{\mathrm{Mor}}:\mathrm{Mor}\,T\to\mathrm{Mor}\,U</math> що <math>D_{U}\circ g_{\mathrm{Mor}}=g_{\mathrm{Ob}}\circ D_{T}</math> та <math>E_{U}\circ g_{\mathrm{Mor}}=g_{\mathrm{Ob}}\circ E_{T}.</math> Таким чином, схеми та їхні морфізми складають категорію. 

Будь-якій категорії <math>\mathcal{C}</math> відповідає діаграмна схема, яка будується із ігноруванням тотожних відображень <math>\mathrm{Id}_{\mathrm{Ob}\,\mathcal{C}}:\mathrm{Ob}\,\mathcal{C}\to\mathrm{Mor}\,\mathcal{C}</math> та <math>\mathfrak{M}_{\mathcal{C}}:\mathrm{Hom}_{\mathcal{C}}(A,B)\times\mathrm{Hom}_{\mathcal{C}}(B,C)\to\mathrm{Hom}_{\mathcal{C}}(A,C),</math> які мають наступні властивості:
* для будь-якого об'єкта <math>\mathrm{Ob}\,\mathcal{C}</math> справджується рівність <math>D_{\mathcal{C}}(\mathrm{Id}_{\mathrm{Ob}\,\mathcal{C}})=E_{\mathcal{C}}(\mathrm{Id}_{\mathrm{Ob}\,\mathcal{C}})=\mathrm{Ob}\,\mathcal{C}</math> (морфізм <math>\mathrm{Id}_{\mathrm{Ob}\,\mathcal{C}}</math> є тотожним морфізмом)
* відображення <math>\mathfrak{M}_{\mathcal{C}}</math> визначене для будь-яких трьох об'єктів <math>A,B,C</math> категорії <math>\mathcal{C}</math>; морфізм <math>\mathfrak{M}_{\mathcal{C}}</math> при цьому називається композицією морфізмів <math>f</math> та <math>g</math> (тобто <math>\mathfrak{M}_{\mathcal{C}}</math> називається законом композиції категорії <math>\mathcal{C}</math>);
* для будь-яких морфізмів <math>f:A\to B,\,\,g:B\to C</math> та <math>h:C\to X</math> має місце співвідношення асоціативності: <math>h\circ(g\circ f)=(h\circ g)\circ f</math>;
* для довільного морфізму <math>f:A\to B</math> мають місце рівності <math>f\circ\mathrm{Id}_{A}=\mathrm{Id}_{B}\circ f=f.</math>

Нехай <math>T</math> та <math>U</math> - дві діаграмні схеми. Діаграмою типу <math>T</math> над схемою <math>U</math> називається довільний морфізм схеми <math>T</math> у схему <math>U.</math> Діаграма називається скінченною, якщо її тип <math>T</math> має таку властивість, що множини <math>\mathrm{Ob}\,T</math> та <math>\mathrm{Mor}\,T</math> є скінченними. 

Діаграмами над категорією <math>\mathcal{C}</math> називаються діаграми над діаграмною схемою категорії <math>\mathcal{C}.</math> 

Діаграмна схема <math>T</math> є малою діаграмною схемою, якщо множини <math>\mathrm{Ob}\,T</math> та <math>\mathrm{Mor}\,T</math> належать деякій фіксованій "універсальній множині" <math>\mathcal{U}</math>. Відповідно, діаграма називається малою, якщо її тип є малою схемою. 

Нехай <math>f:T\to\mathcal{C}</math> - довільна діаграма типу <math>T</math> над <math>\mathcal{C}</math> та нехай <math>A\in\mathrm{Ob}\,\mathcal{C}.</math> Прямим (індукованим) конусом із скінченною вершиною <math>A</math> та базою <math>f</math> називається система (сім'я) морфізмів <math>\{p_{i}\}</math> категорії <math>\mathcal{C},</math> яка має наступні властивості:
* індексами сім'ї <math>\{p_{t}\}</math> є об'єкти <math>t</math> діаграмної схеми <math>\mathrm{Ob}\,T</math>;
* областю значень морфізму <math>p_{t}</math> є об'єкт <math>A,</math> а областю визначення - об'єкт <math>ft</math>;
* для довільного морфізму <math>g:t\to t'</math> схеми <math>T</math> має місце рівність <math>p_{t}=p_{t'}\circ fg.</math>

Усі прямі конуси (за даної бази <math>f</math>) складають декотру категорію.

У категорії може бути початковий (ініціальний) об'єкт, з якого є єдиний морфізм у будь-який інший об'єкт. Протилежним до нього поняттям є кінцевий (термінальний) об'єкт, у який є єдиний морфізм з будь-якого об'єкта. Якщо об'єкт є одначасно початковим та кінцевим, то він називається нульовим. Наприклад, у теорії множин початковим об'єктом є пуста множина, а кінцевим - будь-яка множина, що складається з одного елемента. 

Розгляньмо найпостішу екваціональну систему - структуру, яка є моделлю системи наступних аксіом:
* <math>a\cdot(b\cdot c)=(a\cdot b)\cdot c</math>;
* <math>a\cdot a^{-1}=e</math>;
* <math>a\cdot e=a</math>;
* <math>e\cdot a=a,</math>

де <math>a,b,c\in G.</math> Екваціональні системи, що задовільняють даній системі аксіом, утворюють категорію (категорію груп, категорію напівгруп тощо). Морфізмами такої категорії є відображення, що комутують із операціями: <math>f(a\cdot b)=f(a)\cdot f(b)</math> тощо. У будь-якій такій категорії є нульовий об'єкт: система складається з одного елемента. На ній усі рівності тривіально виконуються, а нерівностей не може бути. 

Конус <math>(p_{i})</math> із базою <math>f</math> є початковим, якщо він є лівим нулем (ініціальним об'єктом) цієї категорії, тобто якщо для будь-якго конусу <math>(q_{t})</math> із довільною вершиною <math>Y</math> та тою самою базою <math>f</math> існує лише один морфізм <math>g:X\to Y</math> такий, що <math>q_{t}=g\circ p_{t}</math> для будь-якого <math>t\in\mathrm{Ob}\,T.</math> У цьому випадку об'єкт <math>X</math> називається прямою границею діаграми <math>f</math> й позначається <math>\lim_{\underset{t}{\to}}f(t)</math> (чи просто <math>\lim_{\to}f</math>), a морфізми <math>p_{t}</math> називаються канонічними ін'єкціями й позначаються <math>\mathrm{in}^{f}_{t}.</math> Границя <math>\lim_{\to}f</math> визначена однозначно із точністю до ізоморфізму. 

Амальгамами називаються прямі границі виду

[[Файл:Amggg1.tif|центр]]

Амальгаму даної діаграми називають амальгамою об'єктів <math>A</math> та <math>B</math> під об'єктом <math>C</math> й позначають <math>A\overset{C}{\times}B.</math>

Нехай тепер <math>f</math> - довільна діаграма типу <math>T</math> над категорією <math>\mathcal{C},</math> та нехай <math>B\in\mathrm{Ob}\,\mathcal{C}.</math> Зворотним (проективним) конусом із початковою вершиною <math>B</math> та базою <math>f</math> називається сім'я <math>\{p_{i}\}</math> морфізмів категорії <math>\mathcal{C},</math> яка має наступні властивості:
* індекси сім'ї <math>\{p_{i}\}</math> є об'єкти <math>t</math> діаграмної схеми <math>T</math>;
* областю визначення морфізму <math>p_{t}</math> є об'єкт <math>B</math> а областю значень - об'єкт <math>ft=f_{\mathrm{Ob}\,T}</math>;
* для будь-якого морфізму <math>g:t\to t'</math> схеми <math>T</math> має місце співвідношення <math>p_{t'}=fg\circ p_{t},</math> де <math>fg=f_{\mathrm{Mor}\ni g}.</math>

Конус називається термінальним, якщо він є правим нулем (термінальним об'єктом) цієї категорії, тобто якщо для будь-якого конусу <math>(q_{t})</math> із довільною початковою вершиною <math>Y</math> та тією ж самою базою <math>f</math> існує лише один морфізм <math>g:Y\to X</math> такий, що справджується рівність <math>q_{t}=p_{t}\circ g</math> для будь-якого <math>t.</math> У цьому випадку об'єкт <math>X</math> називається зворотною (проективною) границею діаграми <math>f</math> й позначається <math>\lim_{\underset{t}{\leftarrow}}f(t)</math> (чи просто <math>\lim_{\leftarrow}f</math>), а морфізми називаються проекціямий позначаються <math>\mathrm{pr}^{f}_{t}.</math> Границя <math>\lim_{\leftarrow}f</math> визначена однозначно із точністю до ізоморфізму.

Коамальгами - зворотні границі діаграм виду

[[Файл:IsKAmggg2.tif|центр]]

Коамальгама даної діаграми називається коамальгамою об'єктів <math>A</math> та <math>B</math> над об'єктом <math>C</math> й позначається <math>A\underset{C}{\times}B.</math> Кожний конус для цієї діаграми дає діаграму 

[[Файл:Amalgcatlimfqwfq.tif|центр]]

Відтак конус може бути визначений як пара морфізмів із комутативною діаграмою

[[Файл:Amalcatresugwe.tif|центр]]

Зворотна границя пари стрілок <math>A\xrightarrow{f}C\xleftarrow{g}B</math> є парою стрілок <math>A\xleftarrow{g'}D\xrightarrow{f'}B,</math> наділеною наступніми властивостями:
* <math>g'f=f'g</math>;
* для будь-яких <math>A\xleftarrow{h}E\xrightarrow{j}B</math> таких, що <math>hf=jg,</math> існує лише один морфізм <math>k:E\to D,</math> за якого справджуються рівності <math>h=kg'</math> та <math>j=kf'.</math>

Розгляньмо діаграму

[[Файл:Amalwejhcatlimfqwfq.tif|центр]]

У цій діаграмі, яка містить комутативний зовнішній квадрат, існує єдине поповнення діаграми морфізмом <math>k,</math> за якого діаграма стає комутативною. Внутрішній квадрат цієї діаграми називається декартовим квадратом. Тут <math>f'</math> є зворотною границею <math>f</math> відносно <math>g</math> (також кажуть, що <math>f'</math> є підоб'ємом <math>f</math> уздовж <math>g</math>), a <math>g'</math> - відповідно зворотний образ <math>g</math> відносно <math>f.</math>

Ядро морфізмів <math>f,g:X\to Y</math> - це зворотна границя діаграми <math>X\rightrightarrows^{f}_{g}Y.</math> Об'єкт <math>Z</math> є ядром пари <math>(f,g),</math> якщо існує морфізм <math>t:Z\to X,</math> для якого <math>ft=gt</math>; морфізм є універсальним по відношенню до цієї властивості, тобто будь-який морфізм <math>t':A\to X,</math> для якого <math>ft'=gt',</math> який має вигляд <math>t\circ h,</math> де <math>h</math> - декотрий морфізм <math>h:A\to Z</math>. 

Коядром морфізмів <math>f,g:X\to Y</math> є пряма границя діаграми <math>X\rightrightarrows^{f}_{g} Y.</math> Об'єкт <math>Z</math> є коядром пари <math>(f,g),</math> якщо існує морфізм <math>t:Y\to Z,</math> для якого <math>tf=tg</math>; морфізм <math>t</math> є універсальним по відношенню до цієї властивості (тобто будь-який морфізм <math>t':Y\to A,</math> для якого <math>t'f=t'g,</math> який має вигляд <math>h\circ t,</math> де <math>h:Z\to A</math>).

Нехай <math>\mathcal{T}</math> - категорія <math>\mathrm{Top},</math> об'єктами якої є простори, а <math>\mathcal{T}^{E}</math> - категорія просторів з <math>\mathcal{T},</math> наділених структурою (в якості такої структури на об'єкті <math>X\in\mathrm{Ob}\,\mathcal{T}</math> може бути афінна пряма, тобто <math>\mathbb{A}_{X}\to X</math>). Функтор <math>\mathcal{R}:\mathcal{T}\to\mathcal{T}^{E}</math> називається функтором реалізації (декартовим квадратом), який забуває топологію. У випадку, якщо функтор до того ж повний, цього не відбувається. Точний функтор топологічної реалізації <math>\mathcal{R}:\mathcal{V}\to \mathcal{T}^{E},</math> де <math>\mathcal{V}</math> - категорія алгебричних многовидів над полем <math>k</math>, дозволяє зводити алгебро-геометричні чи теоретико-числові питання (пошук раціональних точок на многовиді <math>X/\mathrm{Spec}\,K</math>) до топологічних (пошук перетинів проекції <math>\mathcal{R}(X)\to \mathcal{R}(\mathrm{Spec}\,K)</math>). 

=====Топоси=====
Топосом (від грец. τόπος - місце позиція) називається категорія <math>\mathcal{E},</math> яка задовільняє наступним умовам:
* <math>\mathcal{E}</math> є скінченно повною (або <math>\mathcal{E}</math> містить термінальний об'єкт та зворотні границі);
* <math>\mathcal{E}</math> є скінченно коповною (<math>\mathcal{E}</math> містить ініціальний об'єкт й амальгами);
* <math>\mathcal{E}</math> припускає експоненціювання;
* <math>\mathcal{E}</math> містить класифікатор об'єктів. 

Нехай <math>A\in\mathrm{Ob}\,\mathrm{Set},</math> тоді булеан <math>2^{A}\in\mathrm{Set}.</math> Розгляньмо множини <math>A</math> та <math>B.</math> Поставимо у відповідність кожній підмножині <math>R\subset B\times A</math> у відповідність відображення <math>f=f_{R}:B\to 2^{A}</math> за правилом: <math>bRa\Leftrightarrow a\in f(b).</math> Такі відображення <math>f</math> називаються частковими мультивідображеннями з <math>B</math> до <math>A.</math> Та навпаки, якщо дане відображення <math>f:B\to 2^{A},</math> то <math>R\subset B\times A</math> визначається за правилом <math>bRa\Leftrightarrow a\in f(b).</math> Таким чином, маємо взаємно однозначну відповідність між підмножинами у <math>B\times A</math> та відображеннями <math>f:B\to 2^{A}.</math>

Виділімо підмножину <math>\mathfrak{A}</math> у добутку <math>2^{A}\times A,</math> яка підпорядковується правилу: якщо <math>B\subset A</math> та <math>a\in A,</math> тоді <math>a\in B.</math> Тобто <math>B\,\mathfrak{A}\, a\Leftrightarrow a\in B.</math> Умову <math>a\in B</math> можна записати у вигляді характеристичної функції <math>\chi_{\,_{B}}(a)=1,</math> тобто множину <math>\mathfrak{A}</math> можна розглядати як підмножину <math>2^{A}\times A,</math> яка визначається як <math>\chi\,\mathfrak{A}\,a\Leftrightarrow \chi(a)=1.</math> Таким чином, характеристична функція підмножини <math>\mathfrak{A}</math> є характеристичним відображенням <math>\chi: 2^{A}\times A\to 2,</math> де <math>2=\{0,1\}.</math> Одержимо декартовий квадрат, таким чином, <math>\mathfrak{A}</math> визначається по <math>A</math> із точністю до ізоморфізму. 

[[Файл:Topcatejigre.tif|центр]]

У категорії множин <math>\mathrm{Set}</math> числові системи можуть бути побудовані з огляду на множину <math>\mathbb{N}</math> натуральних чисел. Таким чином можна одержати цілі числа <math>\mathbb{Z},</math> раціональні числа <math>\mathbb{Q},</math> дійсні числа <math>\mathbb{R}</math> та комплексні числа <math>\mathbb{C}.</math> Такі побудови здійснюються всередині довільного топоса <math>\mathcal{E}.</math> Таким чином, довільний топос містить аналоги числових систем. Зокрема, у топосі <math>\mathcal{E}</math> об'єкт <math>\mathbb{Z}_{+}</math> додатних цілих чисел визначається як підоб'єкт <math>\mathcal{e}:N\to N</math> об'єкта <math>N</math> (у категорії <math>\mathrm{Set}</math> підоб'єкт визначаєть мономорфною функцією слідування, і у нашому випадку дорівнює <math>M_{+}=\{1,2,3,4,...\}</math>). Об'єкт цілих чисел можна визначити як кодобуток <math>\mathbb{Z}=\mathbb{N}+\mathbb{N}_{+}</math> (тобто цілі числа <math>\mathbb{Z}</math> представляють у вигляді диз'юнктного об'єднання <math>M_{+}</math> та ізоморфної копії <math>\{...,-4,-3,-1-,0\}</math> множини <math>M</math>). Раціональні числа одержуються посередництвом факторизації множини <math>\mathbb{Z}\times M_{+},</math> у якій пара <math>(m,n)</math> представляє раціональне число <math>\frac{m}{n}.</math> Відтак у топосі <math>\mathcal{E}</math> у буде одержаний раціонально-числовий об'єкт <math>\mathbb{Q}.</math>

У випадку дійсних чисел є два способи визначення дійсних чисел:
* як класи еквівалентності послідовностей Коші раціональних чисел;
* як дедекінтових перетинів множини раціональних чисел.

Відповідно, одержимо об'єкт <math>\mathbb{R}_{Cauchy}</math> дійсних чисел Коші та об'єкт <math>\mathbb{R}_{Dedekind}</math> дедекіндових дійсних чисел, які у загальному випадку не є ізоморфними, <math>\mathbb{R}_{Dedekind}\not\simeq\mathbb{R}_{Cauchy}.</math> 

У категорії <math>\mathrm{Set}</math> дійсне число <math>r\in\mathbb{R}</math> визначається верхнім  <math>\mathrm{B}=\{r<c\,|\,c\in\mathbb{Q}\}</math> та нижнім <math>\mathrm{H}=\{r>c\,|\,c\in\mathbb{R}\}</math> перетинами. Впорядкована пара <math>(\mathrm{B},\mathrm{H})\in 2^{Q}\times 2^{Q}</math> підмножин у <math>\mathbb{Q}</math> називається дедекіндовим дійсним числом, якщо справджуються наступні умови:
* <math>\exists a\exists b (a\in\mathcal{B}\land b\in\mathcal{H})</math> (непустота);
* <math>\forall a\sim (a\in\mathcal{B}\land a\in\mathcal{H})</math> (диз'юнктивність);
* <math>\forall a(a\in\mathcal{B}\equiv\exists b(b\in\mathcal{B}\land b>a))</math> (відкритість перетину <math>\mathcal{H}</math>);
* <math>\forall a(a\in\mathcal{H}\equiv\exists b(b\in\mathcal{H}\lor b<a))</math> (відкритість перетину <math>\mathcal{B}</math>);
* <math>\forall a\forall b(a>b\subset (a\in\mathcal{H}\lor b\in\mathcal{B}))</math> (близькість перетинів),

де змінні <math>a,b\in\mathbb{Q},</math> a <math>\mathcal{H}\subset\mathrm{H}</math> та <math>\mathcal{B}\subset\mathrm{B}.</math> Кон'юнкцію цих умов можна розглядати як пропозицію <math>\mathcal{P}(\mathfrak{r}),</math> де <math>\mathfrak{r}=(\mathcal{H},\mathcal{B})</math>; тут <math>\mathfrak{r}</math> позначає впорядковану пару, позначаючу елемент <math>r=(\mathrm{H},\mathrm{B})</math> множини <math>2^{\mathbb{Q}}\times 2^{\mathbb{Q}}.</math>

За аксіоматичної побудови класичної теорії множин система дедекіндових дійсних чисел визначається за принципом згортання як множини: <math>\mathbb{R}_{Dedekind}=\{r\,|\, \mathcal{P}(\mathfrak{r})=\mathrm{true}\}\subseteq 2^{Q}\times2^{Q}.</math>

[[Категорія:Математика]]