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

UptoLike

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

Рубрика: 

V k
§1.4
V × . . . × V
| {z }
r
τ
V . . . V
| {z }
r
=: T
r
(V )
T
r
(V ) r V 7→
T
r
(V ) T
r
: Vect
k
Vect
k
T
r
f : V W
T
r
(f): T
r
(V ) T
r
(W ).
(T
r
(V ), τ)
τ
W
(f × . . . × f): V × . . . × V T
r
(W )
V × . . . × V
τ
V
//
f×...×f
T
r
(V )
T
r
(f)
W × . . . × W
τ
W
//
T
r
(W ),
T
r
(f)
T
r
(f)(v
1
. . .v
r
) = f(v
1
). . .f(v
r
)
v
1
. . .v
r
T
r
(f)
T
r
Vect
k
V 7→ T (V )
§1.4
Vect
k
Alg
k
k
C
(X, α) X
α (X, α) (Y, β)
f : X Y xαx
f(x)βf(x
)
x, x
X.
(X, α) 7→ X/α (X, α)
X/α