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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
w : A ⊕ B → C
w(a, b) = w((a, 0) + (0, b)) = w(a, 0) + w(0, b) =
w(i
A
(a)) + w( i
B
(b)) = u(a) + v(b).
w(a, b) = u(a) + v(b)
w
w
w((a
1
, b
1
) + (a
2
, b
2
)) = w(a
1
+ a
2
, b
1
+ b
2
) = u(a
1
+ a
2
) + v(b
1
+ b
2
) =
u(a
1
) + u(a
2
) + v(b
1
) + v(b
2
) = (u(a
1
) + v(b
1
)) + (u(a
2
) + v(b
2
)) =
w(a
1
, b
1
) + w( a
2
, b
2
).
(A ⊕ B, π
A
, π
B
)
A B Ab
w : C → A ⊕ B, w(c) = (u(c), v(c))
A ⊕ B
Ab
b
′
) Gr §1.2
G × H
G × H → G G × H → H,
f : G → G × H g : H → G × H
K G H
G ̸= {e}, H ̸= {e} u
v G H

Страницы