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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
D F : C → D
Ob(C) → Ob(D), X 7→ F (X);
X, Y ∈ Ob(C)
Hom
C
(X, Y ) → Hom
D
(F (X), F (Y )),
{f : X → Y } 7→ {F (f): F (X) → F (Y )},
F (id
X
) = id
F (X)
X, Y, Z ∈
Ob(C) f ∈ Hom
C
(X, Y ), g ∈ Hom
C
(Y, Z)
F (g ◦ f) = F (g) ◦ F (f)
C
F
→
D
G
→ E C
GF
→ E

Страницы