Категории и функторы. Ершов А.В. - 33 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

X C
Y ∈ Ob(C) Hom
C
(X, Y )
X C
Y ∈ Ob(C) Hom
C
(Y, X)
X, Y
C.
f : X → Y Hom
C
(X, Y ) g : Y → X
Hom
C
(Y, X) g◦f
Hom
C
(X, X)
id
X
, f ◦ g Hom
C
(Y, Y )
id
Y
.
X C
Y
C X + Y
∼
=
Y
X, Y ∈ Ob(C)
X + Y
∼
=
Y + X X, Y, Z ∈ Ob(C)
(X + Y ) + Z
∼
=
X + (Y + Z).
Set
∅

Страницы