Следствие: в категории 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(c),g(c)). Это свойство универсальности и берется в качестве определения произведения объектов в произвольной категории.

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

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

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

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

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

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

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

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

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

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

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

<0,1>:0®1,

<1,1>:1®1.

Тогда <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

стрелки: <