 2.2. INTRO TO CATEGORY THEORY

26

On the other hand,

a

+

t

b

+

t

(

a

u

b

) = (

a

+

t

b

+

t

a

)

u

(

a

+

t

b

+

t

b

) . Obviously

a

+

t

b

+

t

a

=

a

+

t

b

+

t

b

=

>

. So

a

+

t

b

+

t

(

a

u

b

)

w >

and thus

a

+

t

b

+

w

> \

(

a

u

b

) = (

a

u

b

)

+

.

So (

a

u

b

)

+

=

a

+

t

b

+

.

2.2. Intro to category theory

I recall that this is a

very

basic introduction to category theory, I even do not

define

functors

as they have no use in my theory.

FiXme

: Say instead: “no use in

this book volume”.

Definition

137

.

A

directed multigraph

is:

1

. a set

O

(

vertices

);

2

. a set

M

(

edge

s);

3

. functions Src and Dst (

source

and

destination

) from

M

to

O

.

Note that in category theory vertices are called

objects

and edges are called

morphisms

.

Definition

138

.

A

precategory

is a directed multigraph together with a partial

binary operation

on the set

M

such that

g

f

is defined iff Dst

f

= Src

g

(for

every morphisms

f

and

g

) such that

1

. Src(

g

f

) = Src

f

and Dst(

g

f

) = Dst

g

whenever the composition

g

f

of morphisms

f

and

g

is defined.

2

. (

h

g

)

f

=

h

(

g

f

) whenever compositions in this equation are defined.

Definition

139

.

The set Mor(

A

;

B

) (morphisms from an object

A

to an object

B

) is exactly morphisms which have

A

as the source and

B

as the destination.

Definition

140

.

Identity morphism

is such a morphism

e

that

e

f

=

f

and

g

e

=

g

whenever compositions in these formulas are defined.

Definition

141

.

A

category

is a precategory with additional requirement that

for every object

X

there exists identity morphism 1

X

.

Proposition

142

.

For every object

X

there exist no more than one identity

morphism.

Proof.

Let

p

and

q

be both identity morphisms for a object

X

. Then

p

=

p

q

=

q

.

Definition

143

.

An

isomorphism

is such a morphism

f

of a category that there

exists a morphism

f

1

(

inverse

of

f

) such that

f

f

1

= 1

Dst

f

and

f

1

f

= 1

Src

f

.

Proposition

144

.

An isomorphism has exactly one inverse.

Proof.

Let

g

and

h

be both inverses of

f

. Then

h

=

h

1

Dst

f

=

h

f

g

=

1

Src

f

g

=

g

.

Definition

145

.

A

groupoid

is a category all of whose morphisms are isomor-

phisms.

Some important examples of categories:

Exercise

146

.

Prove that the below examples of categories are really cate-

gories.

Definition

147

.

The category

Set

is:

Objects are small sets.

Morphisms from an object

A

to an object

B

are triples (

A

;

B

;

f

) where

f

is a function from

A

to

B

.