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

UptoLike

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

Рубрика: 

γ
1
Hγ K.
O(G).
O(G)
G
γ
1
Hγ K γ G. γ
γ
γ
= k
G G
b B G := π
1
(B, b).
p: E B F := p
1
(b)
G g G e F
α: I B, α(0) = α(1) = b
g eα E p eα = α, eα(0) = e.
ge := eα(1).
H := p
(π
1
(E, e)) G G
e
e F e G
(G: H)
Φ: Cov (B) S(G).
Φ(p: E B) := G F .
f : E
E
B p
: E
B G
f|
F
: F F
, F
:= p
′−1
(b),
Φ
B
Φ Cov(B) S(G)
HγK