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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X
`
Y
X Y
X
`
Y X + Y
X Y X + Y i
X
: X → X + Y
i
Y
: Y → X + Y Z
u: X → Z, v : Y → Z.
h: X + Y → Z,
X
i
X
//
u
##
H
H
H
H
H
H
H
H
H
H
X + Y
h
Y
i
Y
oo
v
{{
w
w
w
w
w
w
w
w
w
w
Z
h ◦ i
X
= u, h ◦ i
Y
= v h
t ∈ X
`
Y h(t) = u(t), t ∈ X
h(t) = v(t), t ∈ Y.
X, Y X × Y
(x, y), x ∈ X, y ∈ Y X × Y
π
X
: X × Y → X, (x, y) 7→ x, π
Y
: X × Y → Y, (x, y) 7→ y.
X × Y
Z u: Z → X, v : Z → Y
h: Z → X × Y,
X
X × Y
π
X
oo
π
Y
//
Y
Z
h
OO
v
;;
w
w
w
w
w
w
w
w
w
w
u
cc
H
H
H
H
H
H
H
H
H
H
π
X
◦ h = u, π
Y
◦ h = v
h h(z) = (u(z), v(z)) ∀z ∈ Z
C
X, Y ∈ Ob(C)

Страницы