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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
Ob(C),
C,
Hom
C
(X, Y ),
X, Y ∈ Ob(C), X
Y f : X → Y X
f
→ Y
Hom
C
(X, Y ) × Hom
C
(Y, Z) → Hom
C
(X, Z)
X, Y, Z.
f : X → Y g : Y → Z
X Z g ◦ f
f g.
f X, Y ∈ Ob(C),
f ∈ Hom
C
(X, Y ), Hom
C
(X, Y )
X ∈ Ob(C)
id
X
∈ Hom
C
(X, X) Y, Z ∈ Ob(C)
f ∈ Hom
C
(Y, X), g ∈ Hom
C
(X, Z) id
X
◦f =
f, g ◦ id
X
= g;
W, X, Y, Z ∈ Ob() f : W → X, g : X → Y, h: Y → Z
(h ◦ g) ◦ f h ◦ (g ◦ f) W
Z.
(i)
Sets

Страницы