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

UptoLike

ВУЗ: 

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

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

Рубрика: 

U ∈ Ob(C)
.
ϕ: X → S, ψ : Y → S C
Z ∈ Ob(C), π
X
: Z →
X, π
Y
: Z → Y X Y
Z
π
Y
//
π
X
Y
ψ
X
ϕ
//
S
π
X
, π
Y
Z
0
∈ Ob(C) u: Z
0
→ X, v : Z
0
→ Y
Z
0
v
//
u
Y
ψ
X
ϕ
//
S
h: Z
0
→ Z u =
π
X
◦ h, v = π
Y
◦ h X Y S
X×
S
Y
X×
S
Y
C
S
ϕ: X → S C, X
ϕ
→ S Y
ψ
→ S
X
χ
//
ϕ
Y
ψ
~
~
~
~
~
~
~
S,
χ ∈ Hom
C
(X, Y )
C E X×
E
Y
X × Y

Страницы