Элементы теории категорий. Ершов А.В. - 28 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

F (X)
F (ϕ)
G(X)
f(X)
−1
oo
G(ϕ)
F (Y ) G(Y ).
f(Y )
−1
oo
g = {g(X)}, g(X) = f (X)
−1
,
gf = id
F
, fg = id
G
.
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.
C ⊂ D
X, Y ∈ Ob(C)
Hom
C
(X, Y ) = Hom
D
(X, Y ).
F : C → D X, Y ∈ Ob(C)
F : Hom
C
(X, Y ) → Hom
D
(F (X), F (Y ))
C → D
Ab,
Gr .
F Ab Sets
F
Z
2
F (Z
2
) = {0, 1} {0, 1}
0 1 1 0 F

Страницы