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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X, Y ∈ Ob(C),
Ob(C) f : X → Y g : Y → X
f : X → Y
g, g
′
g = g ◦ id
Y
= g ◦ (f ◦ g
′
) = (g ◦ f) ◦ g
′
= id
X
◦g
′
= g
′
.
f : Y → Z C
g
1
: X → Y, g
2
: X → Y
C f ◦ g
1
= f ◦ g
2
g
1
= g
2
.
X
g
1
⇒
g
2
Y
f
→ Z.
f : X → Y C
g
1
: Y → Z, g
2
: Y → Z C
g
1
◦ f = g
2
◦ f
g
1
= g
2
.
X
f
→ Y
g
1
⇒
g
2
Z.
C D
Ob(C) ⊂ Ob(D)
X, Y ∈ Ob(C)
Hom
C
(X, Y ) ⊂ Hom
D
(X, Y );
C
D X ∈ Ob(C) id
X
C id
X
D.

Страницы