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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

ψ :=
ϕ
∗
: W
∗
→ V
∗
. v ∈ V ε
V
(v)
V
∗
ε
V
(v)(f) = f(v) ∀f ∈ V
∗
. ϕ
∗∗
,
ψ
∗
ψ
∗
(ε
V
(v)) ∈ W
∗∗
ψ
∗
(ε
V
(v))(g) = ε
V
(v)(ψ(g)) ∀g ∈ W
∗
,
ε
V
(v)(ψ(g)) = ε
V
(v)(ϕ
∗
(g)) = ϕ
∗
(g)(v) = g(ϕ(v)).
v ∈ V. ε
W
(ϕ(v)) ∈ W
∗∗
,
g ∈ W
∗
ε
W
(ϕ(v))(g) =
g(ϕ(v)), ϕ
∗∗
(ε
V
(v))
§2.3 G 7→
b
b
G
id
LCAb
⇒
b
b.
i: id
Set
⇒ UF Set
F : Gr → Gr G
G
′
:= [G, G]
§1.4
G
′
→ G G
F ⇒ id
Gr
.
n k 7→ GL
n
(k)
GL
n
n = 1 k 7→ k
×
k
×
k
×
det
det: GL
n
⇒
×
.
§2.1
h
′
X
: C → Set. ϕ: X
2
→ X
1
C
h
′
φ
: h
′
X
1
⇒ h
′
X
2
.

Страницы