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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X×
S
Y ∈ Ob(C)
U 7→ X(U) ×
S(U)
Y (U), C →
Sets
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
.
Sets.
ϕ: X → S, ψ : Y → S
Z ⊂ X × Y X × Y,
Z := {(x, y) ∈ X × Y | ϕ(x) = ψ(y)},
π
X
: Z → X, π
Y
: Z → Y,
π
X
: X × Y → X, π
Y
: X × Y → Y
Z ⊂ X × Y,
X×
S
Y S = ∗
Sets
Sets :
ϕ: X → S, ψ : Y → S
ϕ(X) ∩ ψ(Y ) ⊂ S
X Y S P(S)
Y = {p} q = ψ(p) ∈ S.
ϕ
−1
(q) ⊂ X X Y S ψ : Y → S
X×
S
Y Y ⊂ S
ϕ
s ∈ S ϕ ◦ π
X
= ψ ◦ π
Y
: X×
S
Y →
S ϕ
−1
(s) × ψ
−1
(s).
S ϕ
ψ

Страницы