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

UptoLike

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

Рубрика: 

Cov(B) B
§1.2
G, G ·
G
F : G Set
G X := F (·
G
).
φ: F F
φ(·
G
): X Y := F
(·
G
)
X
F (g)
//
φ(·
G
)
X
φ(·
G
)
Y
F
(g)
//
Y
g G
φ(·
G
) G
α: X Y α(gx) = gα(x). S(G)
G Set G
X G G
X x, x
X
g G x
= gx.
S(G) G
G G G
S(G)
O(G) x X
G
x
:= {g G | gx = x}
x H G
G/H gH
G
G X G/G
x
gx 7→ gG
x
.
S(G)
G G/H H G
G
p: E B E