Функторные морфизмы. Ершов А.В. - 7 стр.

UptoLike

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

Рубрика: 

·
H
f(·
G
)
//
F
1
(g)
·
H
F
2
(g)
·
H
f(·
G
)
//
·
H
,
f(·
G
) H
h H.
g G
h F
2
(g)h = hF
1
(g) g G.
G H
F
1
, F
2
h H F
2
(g) = hF
1
(g)h
1
g G
h H
§2.1
G G
Vect
k
G F
1
F
2
F
1
, F
2
: G Vect
k
∗∗: Vect
k
Vect
k
V 7→ V
∗∗
, φ 7→ φ
∗∗
§2.3
V
ε
V
: V V
∗∗
, v V
ε
V
(v) V
f V
f v,
ε
V
(v)(f) = f(v). {ε
V
}
ε: id
Vect
k
∗∗ id
Vect
k
Vect
k
V
ε
V
//
φ
V
∗∗
φ
∗∗
W
ε
W
//
W
∗∗
.