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

UptoLike

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

Рубрика: 

T op, Gr,
R Sets
F : C
¯
C
C
F : C → D
G: D C, GF
id
C
, F G id
D
.
C, D
G F.
∗∗: Vect
k
Vect
k
.
ε: id
Vect
k
.
Vect
f
k
Vect
k
Vect
k
F : C D
F
Y Ob(D) F (X) X
Ob(C).
F
G: D C
f(X) : GF (X) X, X Ob(C), g(Y ): F G(Y ) Y, Y Ob(D)
f : GF id
C
, g : F G id
D
.
Y Ob(D)