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

UptoLike

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

Рубрика: 

p: E B G F = p
1
(b).
G F
p: E B
E E
G F F
Aut(E) E
Aut(F ) G F
N
G
H/H.
E E
F F
H G
G/H
p
U
: U B H = {e}.
p: E B
U E
G
Ψ: S(G) Cov (B) Φ
§2
PCov(B)
p: E B b B