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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

h
X
(Y )
Y.
Gr?
G ∈ Ob(Gr)
Gr
m: G × G → G, i: G → G, e: E → G,
E Gr
Gr m, i, e
e e(E)
G
m.
∗, m(g
1
, g
2
) = g
1
∗g
2
. G
·, g
1
, g
2
g
1
· g
2
m
(g
1
· g
′
1
) ∗ (g
2
· g
′
2
) = (g
1
∗ g
2
) · (g
′
1
∗ g
′
2
).
X
· ∗
· ∗ e
x ∈ X
x · e = x ∗ e = x = e ∗ x = e · x;

Страницы