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

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
zz
v
v
v
v
v
v
v
v
v
v
Z
h ◦ i
X
= u, h ◦ i
Y
= v h
t ∈ X
⨿
Y h(t) =
u(t), t ∈ X
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
::
v
v
v
v
v
v
v
v
v
v
u
dd
H
H
H
H
H
H
H
H
H
H

Страницы