blob: 1b6c16d37e8820964de082be8d6a0522d10f16ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
---
title: Exercises in Category Theory — 1.1
published: 2016-01-29
tags: Category Theory
---
<div class="exercise">
Sets and functions do form a category $\ca{Set}$.
<div class="proof">
The objects of $\ca{Set}$ are sets and its arrows are functions.
For any set $A$ we identify $\idarr{A}$ with the identity function on $A$, $\id : A \to A$.
$\circ$ is indeed associative.
</div>
</div>
<div class="exercise">
Each [poset](https://en.wikipedia.org/wiki/Partially_ordered_set) is a category.
<div class="proof">
The objects of each poset are its elements and we construct an arrow $\arr{a}{\leq}{b}$ for every pair of objects $(a, b)$ iff $a \leq b$.
Reflexivity ($a \leq a$) and transitivity ($a \leq b \land b \leq c \implies a \leq c$) provide a construction for $\idarr{a}$ and $\circ$, respectively.
</div>
</div>
<div class="exercise">
Each [monoid](https://en.wikipedia.org/wiki/Monoid) is a category.
<div class="proof">
The objects of each monoid are its elements and we construct for every pair of elements $(a, b)$ an arrow $\arr{a}{\cdot b}{a \cdot b}$.
The existence of an identity element and associativity, as required by the monoid structure, immediately provide us with a construction for $\id$ and associativity of $\circ$.
</div>
</div>
|
