Элементы теории категорий. Ершов А.В. - 9 стр.

UptoLike

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

Рубрика: 

0 0 + m = m, n + 0 = n,
N
m
A
A
A
A
A
A
A
A
m
//
N
0
n
A
A
A
A
A
A
A
A
N
n
//
N
m, n
N
X
G
(g, x) G × X
gx X, (g
2
g
1
)x =
g
2
(g
1
x) g
1
, g
2
G, x X ex = x x X, e
G
(g, x) 7→ gx
φ: G × X X, φ(g, x) = gx. µ: G × G G
G µ(g
1
, g
2
) = g
1
g
2
g
1
, g
2
G E
e: E G
e
E e G
G × G × X
µ×id
X
//
id
G
×φ
G × X
φ
X ' E × X
e×id
X
//
id
X
''
O
O
O
O
O
O
O
O
O
O
O
O
G × X
φ
G × X
φ
//
X,
X.