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

UptoLike

ВУЗ: 

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

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

Рубрика: 

π
h
0
T op
π
0
$$
H
H
H
H
H
H
H
H
H
F
hT op
π
h
0
//
Set.
π
0
π
h
0
: hT op → Set π
0
X → π
0
(X)
π
0
π
0
(X × Y )
∼
=
π
0
(X) × π
0
(Y ).
′
§1.3
PT op T op
hPT op
hT op
φ, ψ : (X, x
0
) → (Y, y
0
) PT op
hPT op Φ: X ×I → Y,
Φ|
X×{0}
= φ, Φ|
X×{1}
= ψ Φ|
{x
0
}×I
= ω
0
,
ω
0
ω
0
: I → Y, ω
0
(t) = y
0
∀t ∈ I.
π
0
PT op π
0
π
0
Set
PSet
π
0
(X, x
0
)
φ, ψ : X → Y φ(x
0
) = y
0
= ψ(x
0
)

Страницы