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

UptoLike

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

Рубрика: 

H : S
1
× I X
H|
S
1
×{0}
= f, H|
S
1
×{1}
= g H({s
0
} × I) = x
0
.
H : S
1
× I X
b
H : I X
S
1
,
b
H(t)(s) = H(s, t)
b
H(t)(s
0
) = x
0
t I,
b
H X X
S
1
.
b
H X,
f g S
0
X
PT op
. . .
n
n
π
n
(X, x
0
) := π
0
(Ω
n
X, eω
0
)
eω
0
n
X n
n N, π
0
PT op PSet
π
1
PT op Gr n 2 π
n
PT op Ab
n
X = Ω(Ω
n1
X)
π
0
(Ω
n
X, eω
0
) = π
1
(Ω
n1
X, eω
0
) = . . . = π
n
(X, x
0
).
π
n
n 0
Hom
hPT op
((S
n
, s
0
), (X, x
0
)) π
n
(X, x
0
),
S
n
n s
0