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

UptoLike

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

Рубрика: 

G
P
G
G
P
:= {g G | g|
P
= id
P
}.
F φ: P Q
λ: P L k
γ : L L k
dim
P
L = |G
P
|
i
Q
φ: P L, i
Q
: Q L
γ
φ
G
L
γ
φ
//
L
P
i
P
OO
φ
//
Q,
i
Q
OO
i
P
: P L
qγ
φ
p, p G
P
, q G
Q
P, Q L
φ q G
Q
γ
1
φ
qγ
φ
G
P
α P γ
φ
(α)
Q L
γ
1
φ
qγ
φ
(α) = γ
1
φ
γ
φ
(α) = α.
φ
γ
1
φ
G
Q
γ
φ
G
P
G
P
, G
Q
G
F (φ) O(G)
F
C
O(G)
§2
f : X Y M X, N Y, im(f)
N f : M N f
G
k