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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X
X → Y
π
0
(X) → π
0
(Y ), π
0
T op
0
→ Sets
π
1
(X) π
n
(X), n ≥ 2,
T op
0
→ Gr T op
0
→ Ab
P X X
x
0
∈ X.
ϕ: I → X I = [0, 1] X ϕ(0) = x
0
(I, 0) → (X, x
0
) PT op 0 ∈ I
P X
{ϕ ∈ P X | ϕ(K) ⊂ U } K ⊂ I
U ⊂ X
P X ω
0
: I → X I
x
0
f ∈ Hom
PT op
((X, x
0
), (Y, y
0
))
ϕ: (I, 0) → (X, x
0
) f ◦ ϕ : (I, 0) → (Y, y
0
),
P : (X, x
0
) 7→ (P X, ω
0
) PT op
ΩX P X,
ϕ: I → X, ϕ(0) = ϕ(1) = x
0
ϕ: (S
1
, s
0
) → (X, x
0
) PT op, (S
1
, s
0
)
Ω: (X, x
0
) 7→ (ΩX, ω
0
) PT op
P Ω T op
0
π
0
◦ Ω ◦
. . . ◦ Ω
C
¯
C F : C →
¯
C,
C
F : C → D
C
D F : C → D

Страницы