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

UptoLike

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

Рубрика: 

k k{X},
X A
Ob(Alg
k
) Hom
Alg
k
(k{X}, A)
=
Hom
Sets
(X, A)
Ab Sets F
X
Alg
k
k k[x
1
, . . . , x
n
]
k n
A Ob(Alg
k
) Hom
Alg
k
(k[x
1
, . . . , x
n
], A)
=
Hom
Sets
({x
1
, . . . , x
n
}, A) = {(a
1
, . . . , a
n
) | a
i
A, 1 i n} = A
n
G: T op Sets
F X
e
X := (X, O), O
X
X T X
G: Alg
k
k Vect
k
k G T,
V Ob(Vect
k
) T (V )
Ob(Alg
k
), f : V W
T (f): T (V ) T (W ).
T (V )
A Ob(Alg
k
) f : V A
e
f : T (V ) A
V
i
V
//
f
T (V )
e
f
||
z
z
z
z
z
z
z
z
A
i
V
: V T (V )
Hom
Vect
k
(V, G(A))
Hom
Alg
k
(T (V ), A), f 7→
e
f
C