О категории множеств

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

ВЯТСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ

УНИВЕРСИТЕТ

Математический факультет Кафедра алгебры и геометрии Выпускная квалификационная работа

О КАТЕГОРИИ МНОЖЕСТВ

Выполнила студентка V курса математического факультета

Одегова В.Н.

/подпись/

Научный руководитель:

Доктор ф.-м.н., профессор Вечтомов Е.М.

/подпись/

Рецензент: кандитат ф.-м.н., доцент Чермных В.В.

/подпись/

Допущен к защите в ГАК Зав. кафедрой Вечтомов Е.М.

(подпись)

2003 г.

Декан факультета Варанкина В.И.

(подпись)

2003 г.

Киров, 2003 г.

• введение

  3

• 1 Основные понятия теории категорий 4
• 1.1. Мономорфные стрелки 6
• 1.2. Эпиморфные стрелки 7
• 1.3. Изострелки 8
• 1.5. Начальные объекты 10
• 1.6. Конечные объекты 10
• 1.7. Двойственность 11
• 1.8. Произведения 12
• 1.9. Произведение отображений 15
• 1.10. Копроизведение объектов 18
• 2 категориЯ множеств 19
• 2.1. Мономорфизм в категории множеств 20
• 2.2. Эпиморфизм в категории множеств 21
• 2.3. Начальные и конечные объекты в категории множеств 23
• 2.4. Произведение в категории множеств 23
• 2.5. Копроизведения в категории множеств 24
• 3 Примеры категорий 24
• 3.1. Категория 1 24
• 3.2. Категория 2 25
• 3.3. Категория 3 25
• 3.4. Категории предпорядка 26
• 3.5. Дискретные категории 26
• 3.6. Категория N 27

• Литература

  28

Сейчас многие отрасли математики используют теоретико-множественные обозначения. Несомненно, теория множеств сыграла огромную роль в развитии математики. У этой теории можно найти много преимуществ, но в этой дипломной работе речь пойдет не об этом. Развитием теории множеств можно считать теорию категорий. Что такое «теория категорий». Это очень привлекательная и естественная альтернатива теории множеств. Конечно, можно мыслить объекты математического изучения как множества, но нет уже уверенности, что и в будущем их будут рассматривать так. Без сомнения, основной язык теории множеств останется важным инструментом в тех случаях, когда надо рассматривать совокупности предметов. Но понимание самих предметов как множеств потеряло свое преимущественное значение в силу появления новой альтернативы.

В данной дипломной работе рассматривается одна из важнейших категорий в математике — категория множеств. В первом параграфе рассматриваются основные понятия теории категорий. Доказываются необходимые свойства и утверждения.

Во втором параграфе рассматривается категория множеств. Те понятия, которые используются в теории категорий, переносятся непосредственно в эту категорию. Интерпретируются теоремы из теории категорий в категорию множеств.

В третьем параграфе приведены другие примеры категорий. Тем самым показаны выразительные возможности теории категорий.

Теория категорий изложена в книгах [1]-[4].1 Основные понятия теории категорий

Для того чтобы проиллюстрировать формализацию интуитивной математической идеи рассмотрим понятие функции.

Функция — есть связь между объектами. Точнее, это — соответствие, сопоставляющее заданному объекту точно один другой объект.

Если, А — множество всех возможных входов функции f, а В — множество, включающее все f-образы элементов из А, то говорят, что f является функцией из множества, А во множество В. Это выражают записью f: AB.

Множество, А называется областью определения, а множество В — областью значений.

В общей теории категорий вместо слова «функция» используют более нейтральное слово «стрелка» (а также слово «морфизм»).

Выполняются следующие свойства:

1. C каждой стрелкой связано два специальных объекта — её начало и конец.

2. Имеется операция композиции, которая применяется к определенным парам ‹ g, › стрелок данной категории (когда область значения первой совпадает с областью определения второй) и дает в результате новую стрелку g?, также принадлежащую данной категории.

3. С каждым объектом данной категории связана специальная стрелка — единичная, или тождественная, стрелка этого объекта.

Итак, дадим аксиоматическое определение категории.

Категория Щ включает в себя:

1) Совокупность предметов, называемых Щ — объектами

2) Совокупность предметов, называемых Щ-стрелками

3) Операции, ставящие в соответствие каждой Щ-стрелке f Щ-объект dom f (начало стрелки f) и Щ-объект cod f (конец стрелки f). То, что а=domf и b=cod f изображается так: f: ab

4) Операцию, ставящую в соответствие каждой паре ‹ g, › Щ-стрелок с dom g=cod f Щ-стрелку g?, композицию f и g, с dom (g?)=dom f и cod (g?)=cod g, причем выполняется следующее условие:

закон ассоциативности:

пусть f: ab

g: bc

h: cd

тогда h ?(g?)= (h ?g)?.

Закон ассоциативности утверждает, что диаграмма вида ;

— коммутативна.

(в теории категорий удобным средством являются коммутативные диаграммы. Диаграмма — это схема, в которой указаны объекты и стрелки между ними. При этом, любые два пути, ведущие по стрелкам из одного объекта в другой, равны. Диаграмма называется коммутативной, если есть несколько путей от одного объекта к другому, то все они приводят к одному и тому же результату. Точнее: диаграмма называется коммутативной, когда все возможные треугольники, составляющие части данной диаграммы, коммутативны. Это означает, что любые два пути стрелок данной диаграммы, начинающиеся в одном и том же объекте и заканчивающиеся в одном и том же объекте, задают в композиции одну и ту же функцию. Диаграммы в теории категорий используются для наглядности изложения.)

5) Сопоставление каждому Щ-объекту b Щ-стрелки 1_b: bb, называемой единичной или тождественной стрелкой, так что выполнен Закон тождества:

для любых Щ-стрелок f: ab и g: bc 1_b ?f=f и g?1_b =g, т. е. коммутативна диаграмма

1.1. Мономорфные стрелки

Определение: Стрелка f: ab в категории Щ называется мономорфной или монострелкой в Щ, если для любой пары g, h: ca Щ-стрелок из равенства f g=f h следует g=h.

· В произвольной категории композиция gf является монострелкой, если как f, так и g мономорфны.

Доказательство:

Воспользуемся определением монострелки:

Стрелка gf: ac является монострелкой, если для любых стрелок l, m: ba если (gf)l=(gf)m, то l=m. Изобразим диаграмму. Очевидно, что требуемое равенство выполняется, т. е. (gf)l=(gf)m. В любой категории должен выполняться ассоциативный закон. Применяя его, получаем следующее равенство: g (fl)=g (fm).

g — монострелка f l=f m

f — монострелка l=m, что и требовалось доказать.

· В произвольной категории, если композиция g f — мономорфна, то и f — мономорфна.

Доказательство: пусть f: ab

g: bd,

l, m: ca

f — мономорфна, если из равенства f l=f m ()следует, что l=m.

Очевидно, что это равенство выполняется.(см. диаграмму). Учитывая, что domg = cod (f l) = cod (f m), применим к равенству () стрелку g. Получаем g (f l)=g (f m). Далее, по ассоциативному закону:

(gf)l=(gf)m.

gf — монострелка l=m, что и требовалось доказать.

1.2. Эпиморфные стрелки

Определение: Стрелка f: ab называется эпиморфной или эпистрелкой в категории Щ, если для произвольной пары стрелок g, h: bc из равенства gf=hf следует g=h, т. е. если коммутативна диаграмма, то g=h.

· Если g°f-эпистрелка, то g— эпистрелка.

Доказательство: пусть f: ab

g: bc,

l, m: cd

g — эпистрелка, если из равенства l g=m g ()следует, что l=m.

Очевидно, что это равенство выполняется.(см. диаграмму). Учитывая, что codf = dom (l g) = dom (m g), применим к равенству () стрелку f. Получаем (l g)°f=(m g)°f. Далее, по ассоциативному закону:

l (gf)=m (gf).

gf — эпистрелка l=m, что и требовалось доказать.

1.3. Изострелки

Определение: произвольная стрелка f: ab называется изострелкой или обратимой в категории Щ стрелкой, если существует Щстрелка g: ba, такая, что gf=1_a и fg=1_b. На самом деле такая стрелка только одна. Действительно, если предположить, что существует ещё одна такая стрелка g', то g'=1_ag'=(gf)g'=g (fg')=g1_b=g. Стрелка g, когда она существует, называется обратной к f стрелкой и обозначается f ^-1:ba. Она определяется условиями: f ^-1f=1_a, f f ^-1=1_b .

· Любая изострелка является эпистрелкой.

Доказательство: пусть f: ab — изострелка, и стрелки g, h: bc.

Тогда g f=h f и существует f ^-1. Тогда g = g 1_b = g (f f^-1) =(ассоциативность)= (g f) f^-1 = (hf)f^-1=h (f f ^-1)=h 1_b=h. Таким образом, f — сократима справа. Ч.т.д.

· Любая изострелка является монострелкой. (доказательство аналогично предыдущему).

· Любая изострелка является бистрелкой (эпи и монострелкой).

Доказательство: следует из предыдущих двух утверждений.

· Каждая единичная стрелка является изострелкой.

Доказательство: Пусть f: aa — единичная стрелка. Существует стрелка f —¹: aa и f —¹ f=1_a, f f —¹=1_a. f — изострелка. Ч.т.д.

· Если f — изострелка, то f —¹ — изострелка.

Доказательство: пусть f: ab — изострелка. Тогда f —¹: ba. f — изострелка f f —¹=1_b, f —¹ f=1_a. f —¹ — изострелка. Ч.т.д.

· Если f, g — изострелки, то f g — изострелка, при этом (f g)^— 1 = g-¹f^{- 1}

Доказательство: пусть f: bc, g: ab. f g: ac. f, gизострелки f —¹: cb и g —¹: ba g —¹f —¹ :ca. Эта композиция является «подозрительной» на обратную к стрелке f g. Проверим это:

1) (g —¹f —¹)(f g)=(ассоциативность)=g —¹(f —¹f g)=g-¹(1_bg)=g-¹ g=1_a.

2) (f g) g ^-1 f —¹=f (g g —¹f —¹)=f (1_bf —¹)=f f —¹=1_c.

fgизострелка и (f g)^-1=g —¹f —¹ .Ч.т.д.

1.4. Изоморфные объекты

Определение: Объекты a и b называются изоморфными в Щ (символически ab), если существует Щ — стрелка f: ab, являющаяся изострелкой в Щ, т. е. f: ab.

· Произвольные Щ — объекты обладают следующими свойствами:

1) aa

2) если ab, то ba

3) если ab и bс, то ac

Доказательство:

1) в любой категории существует стрелка 1_a: aa (по определению категории). Единичная стрелка является изострелкой (доказано выше). Получаем, что aa (по определению изоморфных объектов).

2) ab f: ab и f — изострелка f —¹: ba (по определению изострелки). Ранее доказано, что если f — изострелка, то и f —¹ — изострелка. Т. е. f —¹: ba — изострелка ba (по определению изоморфных объектов).

3) ab f: ab — изострелка.

bс g: bc — изострелка.

Dom g=cod f g f: ac и g f — изострелка (т.к.f и g — изострелки (доказано выше)). Чтобы доказать, что ac, необходимо найти изострелку t: ac. Возьмем в качестве такой изострелки t изострелку g f. Ч.т.д.

1.5. Начальные объекты

Определение: объект 0 называется начальным в категории Щ, если для каждого объекта, а из Щ существует одна и только одна Щ — стрелка из 0 в а.

· Любые два начальных объекта изоморфны в Щ.

Доказательство:

Предположим, что 0 и 0'- начальные объекты. Требуется доказать, что 00'. Для этого необходимо найти изострелку 00'.

Существуют единственные стрелки f: 0'0 (т.к.0' - начальный объект) и g: 00' (т.к. 0 — начальный объект). Dom f=cod g f g: 00. 0 — начальный объект ! стрелка 00. и по определению категории для каждого Щ — объекта единичная стрелка. Значит стрелка 1₀: 00 и стрелка f g:00 совпадают. Аналогично, стрелка g f:0'0' совпадает со стрелкой 1_0'. Тогда g имеет обратную стрелку (а именно f), т. е. g: 00'. Ч.т.д.

1.6. Конечные объекты

Обращая направление стрелок в определении начального объекта, получаем следующее определение.

Определение: объект 1 называется конечным в категории Щ, если для каждого Щ — объекта, а существует одна и только одна стрелка из, а в 1.

· Все конечные объекты изоморфны.

Доказательство:

Предположим, что 1 и 1' - конечные объекты. Требуется доказать, что 11'. Для этого надо найти изострелку 11'.

Объект 1 — конечный ! f: 1'1 (по определению конечного объекта).

Объект 1' - конечный ! g:11' (по той же причине). Dom f=cod g f g :11.

1 — конечный объект. f g: 11 — единственная.

С другой стороны для любого объекта категории существует единичная стрелка 1₁:11. Значит f g=1₁. Аналогично, g f=1_1'. Таким образом, для стрелки g нашлась обратная (а именно f), т. е.g: 11'. Ч.т.д.

· Стрелка f:1a — мономорфна.

Доказательство:

F: 1a — мономорфна, если для любых стрелок g, h: b1 из того, что f g=f h следует, что g=h. Но по определению конечного объекта, существует только одна стрелка b1. Поэтому равенство стрелок g и h следует автоматически.

1.7. Двойственность

Можно заметить, что понятие эпистрелки получается из определения монострелки «обращением стрелок». То же справедливо для понятий конечного и начального объектов. Эти два примера иллюстрируют понятие двойственности в теории категорий.

Если — предложение категорного языка, то двойственным ^ор назовем предложение, получаемое из заменой «dom» на «cod», «cod» на"dom" и «h=g f» на «h=f g». Таким образом, все стрелки и композиции, входящие в, повернуты в ^ор в другую сторону. Понятие, описываемое предложением ^ор называется двойственным к понятию, описываемому. Для данной категории Щ построим двойственную категорию Щ^ор следующим образом.

Категории Щ и Щ^ор имеют одни и те же объекты. Для каждой f: ab вводим Щстрелку f^op:ba (свою для каждой f). Так получаемые стрелки исчерпывают все стрелки категории Щ^ор. Композиция f^opg^op определена тогда и только тогда, когда определена в Щ композиция gf и f^opg^op=(gf)^op. Dom f^op=cod f и codf^op=dom f.

Конструкцию, двойственную к выражаемой предложением, можно интерпретировать как первоначальное построение, примененное к двойственной категории. Если истинно в Щ, то ^ор истинно в Щ^ор. Т.о. из произвольного истинного в теории категорий предложения получается другое истинное предложение ^ор. В этом состоит принцип двойственности. Принцип двойственности сокращает количество доказательств вдвое. Так, доказав, что два произвольных начальных объекта изоморфны, можно сразу утверждать, что два произвольных конечных объекта изоморфны.

1.8. Произведения

Как охарактеризовать произведение двух множеств

с помощью стрелок. Неужели это можно сделать без какого-то использования упорядоченных пар?

Оказывается это возможно. Способ, позволяющий избежать использования упорядоченных пар, даст возможность выяснить, что такое конструкция в теории категорий.

Поставим в соответствие произведению два специальных отображения (проекции) и, задаваемые равенствами, .

Допустим теперь, что задано ещё одно множество С с парой отображений f: CA, g: CB. Определим отображение p: C правилом p (x)=,

Тогда p_А(p (x))=f (x) и p_B(p (x))=g (x) для каждого хС. Таким образом, p_Ap=f и p_Bp=g, т. е. приведенная выше диаграмма коммутативна. Более того, p является единственной стрелкой, для которой эта диаграмма коммутативна. Действительно, если p (x)=y, z, то в силу условия p_Ap=f будет p_A(p (x))=f (x), т. е. y=f (x). Аналогично, если p_Bp=g, то z=g (x).

Отображение p, построенное по f и g, обозначаются обычно через f, g и называется произведением отображений f и g.

Эти рассмотрения служат мотивировкой для следующего определения.

Определение: произведением в категории Щ двух объектов a и b называется Щ-объект, обозначаемый через, вместе с парой (pr_a:a, pr_b:b) Щстрелок, такой, что для произвольной пары (f:ca, g: cb) Щстрелок существует одна и только одна стрелка: c, для которой диаграмма коммутативна, т. е. pr_a=f и pr_b=g. Стрелка называется произведением стрелок f и g относительно проекций pr_a, pr_b.

· <pr_a,pr_b>=1.

Доказательство: изобразим данную ситуацию на диаграмме.(точнее левую часть доказываемого равенства). Видим, что стрелка a, pr_b> переводит объект в объект. А по определению категории существует только одна единичная стрелка (та, которая переводит объект категории в себя). Значит, эти стрелки совпадают. Ч.т.д.

· Если <f,g>=<k,h>, то f=k и g=h.

Доказательство: разберемся с условием утверждения.

a) Стрелка существует по условиюdomf=domg. Пусть f: ca, g: cb. тогда стрелка: c.

b) Стрелка совпадает со стрелкой по условию. dom=dom=c, cod=cod=. стрелки k, h такие, что domk=domh=c, а концы этих стрелок в объектах a и b.

c) Предположим, что k: cb, h: ca. Если это так, то стрелка: c. Тогда, так как у них не совпадают концы.

d) Получили противоречие после того, как предположили, что k: cb, h: ca. остается один вариант: k: ca, h: cb. значит f=k, g=h. Ч.т.д.

· h, gh>=h

Доказательство: Посмотрим, что означает стрелка. Во-первых: композиция двух стрелок существует, когда конец одной стрелки является началом другой. Из условия следует, что domf=codh и domg=codh, а также dom=codh. Т. е. стрелки f, g, имеют одно и то же начало. Пусть h: dc, g: cb, f: ca. Изобразим диаграмму: эта диаграмма коммутативна, т. е. pr_ah=fh и pr_bh=gh. Произведением стрелок fh, gh является однозначно-определенная стрелка (она единственна по определению произведения). И этой стрелкой является композиция стрелок и h.

1.9. Произведение отображений

Для данных теоретико-множественных функций f: AB и g: CD определим функцию. является произведением двух композиций: и. Поэтому дадим следующее определение.

Определение: если f: ab и g: cd — две Щ-стрелки, то через обозначим Щ-стрелку .

·

Доказательство: представим ситуацию диаграммой. По определению произведения стрелок стрелка :, и эта стрелка единственна. А по определению категории, у каждого объекта существует единичная стрелка, т. е. та, которая переводит объект в себя. Значит стрелки и совпадают. Ч.т.д.

·

Доказательство: для того, чтобы доказать изоморфизм двух объектов, необходимо найти изострелку. В нашем случае изострелку f:. Для существования произведения необходимо иметь две стрелки. Пусть g: ab, h: ba. тогда :. Эта стрелка единственна по определению произведения. Изобразим диаграмму.

А теперь рассмотрим стрелку. Предположительно, эта стрелка является обратной к стрелке. (эта стрелка тоже единственна по определению произведения). Действительно, композиция ()():. Так как стрелки и — единственны, то и их композиция есть единственная стрелка. А по определению категории, каждый объект имеет единичную стрелку. Поэтому, ()()=. Аналогично ()()=. Значит, по определению изострелки, стрелка является изострелкой. (по определению изоморфности двух объектов). Ч.т.д.

·

Доказательство: для доказательства этого утверждения построим диаграмму.

Стрелка :. Если рассмотреть подобную диаграмму (в которой), то получим стрелку. Эта стрелка является обратной к стрелке. (проверяется аналогично). Значит — изострелка.. Ч.т.д.

·

Доказательство:

a) так как существует композиция, то dom=cod.

b) Так как существует стрелка, то domg=domk.

c) Из существования стрелки следует, что dom (fg)=dom (hk), domf=codg, domh=codk.

d) Изобразим диаграмму. Композиция: с.

e) :с. А по определению произведения объектов стрелка — единственна. Значит стрелки и совпадают. Ч.т.д.

1.10. Копроизведение объектов

Понятие копроизведения, или суммы объектов, является двойственным к понятию произведения. Его определение получается непосредственно из определения произведения по принципу двойственности.

Определение: копроизведением в категории Щ двух объектов a и b называется Щ-объект, обозначаемый через a+b, вместе с парой (i_a:aa+b, i_b:ba+b) -стрелок, такой, что для произвольной пары (f:ac, g: bc) -стрелок существует одна и только одна стрелка [f, g]: a+bc, для которой диаграмма коммутативна, т. е. [f, g]i_a=f, [f, g]i_b=g. Стрелка [f, g] называется копроизведением стрелок f, g относительно инъекций i_a и i_b.

Можно посмотреть длинный список категорных вариантов математических конструкций и понятий. Мы уже имеем некоторое представление о том, как теория категорий воссоздает мир математических идей и в действительности раздвигает горизонты математического мышления. Мы познакомились немного с категорией множеств.

2 категориЯ множеств

Пусть S-класс всевозможных множеств, рассматриваемых с отображениями одних множеств в другие.

f:A>B обозначается отображение множества, А во множество В.

Композицией отображений f: A>B и g: B>C, называется отображение g °f:A>C, вычисляемое по формуле: g°f (a)=g (f (a)). Эта частичная бинарная операция композиция отображений ассоциативна (там, где определена). Проверяется это так:

даны отображения f: A>B, g: B>C, h: C>D. h°(g°f)=(h°g)°f. Обе части определены. Возьмем. Преобразуем левую часть: h°(g°f)(а)=h°(g°f (a))=h°(g (f (a)))=h (g (f (a))). Преобразуем правую часть: ((h°g)°f)(а)=(h°g)°f (a)=(h°g)(f (a))=(h°g (f (a)))=h (g (f (a))).левая и правая части равны. h°(g°f)=(h°g)°f.композиция ассоциативна.

1_А:А>А, что справедливы равенства:

1) 1_А°g=g

2) h°1_A=h

получили конкретную категорию множеств (категория Set).

В категории множеств объектами являются все множества, а стрелками — все функции между множествами. Выполняются следующие свойства:

1. С каждой стрелкой связано два специальных объекта — её начало и конец.

2. Имеется операция композиции, которая применяется к определенным парам ‹ g, › стрелок данной категории (когда область значения первой совпадает с областью определения второй) и дает в результате новую стрелку g?, также принадлежащую данной категории.

3. С каждым объектом данной категории связана специальная стрелка — единичная, или тождественная, стрелка этого объекта.

2.1. Мономорфизм в категории множеств

· В категории Set (категория множеств) для любого отображения f: A>B эквивалентны условия:

1) fмономорфизм

2) f-инъекция

3) g°f=1_A для некоторого g: B>A

Доказательство: поведем по циклу 1)>2)>3)>1)

1)>2): предположим, что мономорфизм f не является инъективным отображением, т. е. в, А и f (a1)=f (a2)=b.

Возьмем произвольное непустое множество С и два отображения u: C>A, v: C>A, такие, что при отображении v множество С переходит в элемент а1А, а при отображении u множество С переходит в элемент а2А. Заметим, что uv. Тогда, нетрудно видеть, что f°u=b=f°v. но f — мономорфнаu=v. Пришли к противоречию, после того, как предположили, что fне инъективнаf — инъективна.

2)>3) Пусть f-инъекция. Для доказательства необходимо найти отображение g: B>A. зададим отображение g правилом:

g (b)=

Тогда, очевидно, что g°f=1_A .

3)>1) в произвольной категории доказано свойство о том, что если заданы отображения f: A>B, g: B>A, то из того, что g°f — мономорфизм следует, что f-мономорфизм. По условию g°f=1_А. Выше также доказано свойство о том, что любая единичная стрелка является монострелкой. Из всего вышесказанного следует, что f — мономорфизм. Теорема доказана полностью.

2.2. Эпиморфизм в категории множеств

· В категории Set (категория множеств) для любого отображения f: A>B эквивалентны условия:

1) fэпиморфизм, 2) f-сюръекция, 3) f°g=1_B

для некоторого g: B>A

Доказательство:

доказательство поведем по циклу 1)>2)>3)>1)

1)>2) пусть f — эпиморфизм. Предположим, что отображение f не является отображением «на», т. е. не является сюръекцией. (ImfB).

Возьмем b1BImf.

Пусть С={b1,b2}. Возьмем отображения u: B>C, такое, что любой элемент из В переходит в b2. отображение v: B>C зададим следующим образом:

Заметим, что u и v не совпадают. Тогда u°f=b=v°f. Так как f-эпиморфизм (по условию) u=v. Получили противоречие после того, как предположили, что f не является сюрьекцией. Значит, f — сюрьекция.

2)>3) пусть fсюрьекция.

сюьективность означает, что его прообраз не пуст. По аксиоме выбора: существует отображение g: B>. Тогда f °g=1_B. Ч.т.д.

3)>1) в произвольной категории доказано свойство о том, что если заданы отображения f: A>B, g: B>A, то из того, что g°f — эпиморфизм следует, что g-эпиморфизм (док-во см. выше). По условию g°f=1_В. Выше также доказано свойство о том, что любая единичная стрелка является эпистрелкой. Из всего вышесказанного следует, что g — эпиморфизм. Теорема доказана полностью.

Следствие: в категории Set эквивалентны следующие условия: f-бистрелка, f-биекция, f-изоморфизм.

2.3. Начальные и конечные объекты в категории множеств

В категории множеств начальным объектом является пустое множество, так как пустое множество есть подмножество любого множества. Стрелкой можно мыслить пары (элементу одного множества сопоставляется элемент другого). Таким образом, сопоставляя пустому множеству элемент любого множества, получим пустое множество пар, которое является единственным.

Конечными объектами в категории множеств являются одноэлементные множества. Для данного множества, А правило f (x)=e определяет функцию f: A>{e}. Так как e является единственным возможным значением, то эта функция является единственной такой функцией. Таким образом, Set имеет много конечных объектов. Все они изоморфны между собой (конечные объекты изоморфны в любой категории). Их представителем является одноэлементное множество {0}.

2.4. Произведение в категории множеств

В теории множеств есть понятие прямого произведения множеств. Это такое множество. Существуют естественные отображения — проекции и, такие, что p_A(a, b)=a, p_B(a, b)=b. Прямое отображение удовлетворяет свойству универсальности: для любых множеств А, В, С и отображений f: C>A и g: C>B существует единственное отображение h:, делающее диаграмму (*) коммутативной.

Легко видеть, что h (c)=(f©, g (c)). Это свойство универсальности и берется в качестве определения произведения объектов в произвольной категории.

· В категории Set произведение объектов A и В изоморфно их прямому (декартову) произведению как множеств.

Доказательство: с одной стороны мы определили h (c)=(f©, g (c)). Докажем, что .

Рассмотрим стрелку. Очевидно, что l°h=1_C, h°l=. Следовательно, .

2.5. Копроизведения в категории множеств

В категории Set копроизведение объектов, А и В — это их дизъюнктное объединение А+В, т. е. объединение двух множеств, изоморфных, А и В соответственно, но не пересекающихся. Точнее, пусть А'={:aA}=A{0} и B'={:bB}=B{1}. Положим А+В=A'B'. инъекции i_А:АА+В, i_В:ВА+В определяются правилами i_A(a)=, i_B(b)= соответственно.

3 Примеры категорий

3.1. Категория 1

Данная категория состоит из одного объекта и одной стрелки. Этим она определяется полностью. Обозначим её единственный объект через а, а её единственную стрелку — через f. Так как в этой категории только один объект, то domf=codf=a, так как по определению категории с каждой стрелкой связано два объектаеё начало и конец. А в данном случае объект только один. У каждого объекта должна быть единичная стрелка. Но так как стрелка f — единственна, то её и берем в качестве единичной. Единственной парой, для которой нужно определить операцию композиции, является пара и мы полагаем, что f°f=f. Это дает закон тождества, так как 1_af=f1_a=ff=f, и закон ассоциативности, так как f (ff)=(ff)f=f. Так мы определили категорию, которую можно изобразить так:

3.2. Категория 2

Эта категория имеет два объекта и три стрелки и выглядит так:

в качестве пары объектов возьмем числа 0 и 1, а в качестве стрелок — пары <0,0>, <0,1> и <1,1>. Пусть <0,0>:00,

<0,1>:01,

<1,1>:11.

Тогда <0,0>=1₀ (единичная стрелка на 0) и <1,1>=1₁ (единичная стрелка на 1). При наших требованиях к категориям, композицию на этом множестве можно ввести только одним способом: 1₀1₀=1₀, <0,1>1₀=<0,1>, 1₁<0,1>=<0,1>, 1₁1₁=1₁. тогда для любых объектов категории выполняется закон тождества и закон ассоциативности.

3.3. Категория 3

Эта категория имеет три объекта и шесть стрелок.

объекты: 0,1,2

стрелки: <0,0>, <0,1>, <1,1>, <1,2>, <2,2>, <2,0>.

Стрелки <0,0>,<1,1>,<2,2> - единичные.

Композицию определяем следующим образом:

1₀1₀=1₀, 1₁1₁=1₁, 1₂1₂=1₂, <0,1>1₀=<0,1>, 1₁<0,1>=<0,1>, <1,2>1₁=<1,2>, 1₂<1,2>=<1,2>, <2,0>1₂=<2,0>, 1₀<2,0>=<2,0>. Тогда выполняется закон тождества и закон ассоциативности.

3.4. Категории предпорядка

Категория, в которой любые два объекта p и q связаны не более чем одной стрелкой pq, называется категорией предпорядка. Если Р — совокупность объектов категории предпорядка, то на ней определено следующее бинарное отношение R:

R pq. Отношение R обладает следующими свойствами:

2) рефлексивность (вытекает из того, что для любого объекта категории существует единичная стрелка)

3) транзитивность (вытекает из того, что стрелка pq дает в композиции со стрелкой qs стрелку ps)

Первые три примера являются и примерами категории предпорядка. Но в них отношение предпорядка удовлетворяет еще свойству антисимметричности, а именно если pq и qp, то p=q. Антисимметричное отношение предпорядка называют отношением частичного порядка. Простейшим примером категории предпорядка, но не частичного порядка является двухобъектная категория с четырьмя стрелками: в этой категории существуют стрелки p>q и q>p, но рq.

3.5. Дискретные категории

Категория называется дискретной, если в ней имеются только единичные стрелки, т. е. каждая стрелка является единичной для некоторого объекта. Отождествляя объекты с единичными стрелками, можно заметить, что дискретная категория есть не что иное, как совокупность объектов. Действительно, любое множество X можно превратить в дискретную категорию, добавив единичные стрелки для каждого xX.

3.6. Категория N

В этой категории ровно один объект, обозначаемый через N. Также категория имеет бесконечную совокупность стрелок из N в N. По определению этими стрелками являются натуральные числа 0,1,2,3…. Каждая стрелка имеет одно и то же начало и конец, а именно единственный объект N. Композиция двух стрелок (чисел) m и n есть снова число. Положим m°n=m+n. Итак, диаграмма коммутативна по определению. Закон ассоциативности для стрелок вытекает из ассоциативности сложения.

Единичная стрелка 1_N объекта N задается числом 0. Диаграмма коммутативна, так как 0+m=m n+0=n.

1. Букур И., Деляну А.

Введение

в теорию категорий и функторов. — М.: Мир, 1972.

2. Голдблат Р. Топосы. Категорный анализ логики. — М.: Мир, 1983.

3. Скорняков Л. А. Элементы общей алгебры. — М.: Наука, 1983.

4. Цаленко М. Ш., Шульгейфер Е. Г. Основы теории категорий. — М.: Наука, 1974.