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

UptoLike

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

Рубрика: 

b
C = Funct(C
0
, Sets)
Funct(C
0
, Sets) C Sets
h
X
: C
0
Sets, h
X
(Y
0
) = Hom
C
(Y, X)
b
C.
Z Ob(C) h
X
(Z) X
h
X
C = Sets Z = Ob(Sets)
X Ob(Sets) h
X
(Z)
X f : Z X f()
Z
T op,
Gr Z = Z
G h
G
(Z) G
f : Z G f(1) G
Alg 1,
Alg 1 1. Z = Z[x]
f : Z R f(x) R.
Z
P(S), S S
F Ob(
b
C)
h
X
X Ob(C).
X F