Категории и функторы. Ершов А.В. - 27 стр.

UptoLike

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

Рубрика: 

G × H f(α), α G
g(β), β H h
G
f
//
u
$$
H
H
H
H
H
H
H
H
H
H
G × H
h
H
g
oo
v
zz
v
v
v
v
v
v
v
v
v
v
K
α G, β H u(α)v(β)u(α)
1
v(β)
1
̸= e.
f(α)g(β)f(α)
1
g(β)
1
= e G × H,
h
e = h(e) = h(f(α)g(β)f(α)
1
g(β)
1
) =
h(f(α))h(g(β))h(f(α))
1
h(g(β))
1
= u(α)v(β)u(α)
1
v(β)
1
̸= e
Gr
G H G H
G
H
,
G H
G
H
i
G
i
H
G G H, H G H, G
H
Z F
2
ZZ ZZ = F
2
Ab Gr
Z
2
Z
3
Γ
z 7→
az + b
cz + d
, a, b, c, d Z