Составители:
Рубрика:
G α
G(Y )
(G(v)) = v ◦ σ
Y
,
σ
Y
0
◦ F G(v) = v ◦ σ
Y
,
G(v) G(Y ) → G(Y
0
).
eu: G(Y ) → G(Y
0
) F G(v) F (eu)
v ◦ σ
Y
= σ
Y
0
◦ F (eu),
G(v) = α
−1
G(Y )
(v ◦ σ
Y
) = α
−1
G(Y )
(σ
Y
0
◦ F (eu)) = α
−1
G(Y )
(α
G(Y )
(eu)) = eu.
G G(v
1
◦ v
2
) = G(v
1
) ◦
G(v
2
), G(id
Y
) = id
G(Y )
, G.
C ∗, E
e id
e
.
G: E → C, G(e) = ∗, G(id
e
) = id
∗
G: Gr → Sets F
X F (X) X ϕ: X → Y
F (ϕ): F(X) → F (Y )
F (X) : G
f : X → G
e
f : F (X) → G
X
ϑ
//
f
F (X)
e
f
||
y
y
y
y
y
y
y
y
y
G
ϑ: X → F (X)
Hom
Sets
(X, G) → Hom
Gr
(F (X), G), f 7→
e
f.
Hom
Gr
(F (X), G) → Hom
Sets
(X, G)
g : F (X) → G
X ⊂ F (X).
Hom
Gr
(F (X), G)
∼
=
Hom
Sets
(X, G).
Страницы
- « первая
- ‹ предыдущая
- …
- 54
- 55
- 56
- 57
- 58
- …
- следующая ›
- последняя »
