Элементы теории категорий. Ершов А.В. - 6 стр.

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

Составители: 

Рубрика: 

U X
X X U U
U U
Sets
X ∈ Ob(C) id
X
id
X
, id
0
X
id
X
= id
X
◦ id
0
X
= id
0
X
f : X → Y C
g : Y → X f ◦ g = id
Y
, g ◦ f =
id
X
X, Y ∈ Ob(C),
Ob(C) f : X → Y g : Y → X
f : X → Y
g, g
0
g = g ◦ id
Y
= g ◦ (f ◦ g
0
) = (g ◦ f ) ◦ g
0
= id
X
◦g
0
= g
0
.

Страницы