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

UptoLike

ВУЗ: 

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

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

Рубрика: 

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(C) f : W → X, g : X →
Y, h: Y → Z (h ◦ g) ◦ f h ◦ (g ◦ f)
W Z.
(i)
Set
§1.2
U X X
X U U U
U
U
U U
U
U U
U
U
U

Страницы