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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
Ob(C),
C,
Hom
C
(X, Y ),
X, Y ∈ Ob(C),
X Y f : X → Y X
f
→ Y
Hom
C
(Y, Z) × Hom
C
(X, Y ) → 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)

Страницы