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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X×
S
Y
C
S
φ: X → S C, X
φ
→ S
Y
ψ
→ S
X
χ
//
φ
Y
ψ
~
~
~
~
~
~
~
~
S,
χ ∈ Hom
C
(X, Y ) §1.2
C E
X×
E
Y X ×Y
X×
S
Y ∈ Ob(C)
U 7→
h
X
(U) ×
h
S
(U)
h
Y
(U), C
◦
→ Set
X
⨿
S
Y
X
⨿
S
Y Y
i
Y
oo
X
i
X
OO
S
φ
oo
ψ
OO
X
u
→ Z
v
← Y u ◦ φ = v ◦ ψ
X
⨿
S
Y
h
→ Z u = h ◦ i
X
, v = h ◦ i
Y
.
Set.
φ: X → S, ψ : Y → S
Z ⊂ X × Y X × Y,
Z := {(x, y) ∈ X × Y | φ(x) = ψ(y)},
π
X
: Z → X, π
Y
: Z → Y
X ×Y → X, X ×Y → Y
Z ⊂ X×Y,

Страницы