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

UptoLike

ВУЗ: 

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

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

Рубрика: 

(X × Y )
◦
= X
◦
+ Y
◦
§1.5
C
X
m: X → X + X, i: X → X, e: X → E
◦
,
E
◦
C
h
′
X
(Y ) = Hom
C
(X, Y ) = Hom
C
◦
(Y
◦
, X
◦
) = h
X
◦
(Y
◦
),
X C Y
C h
′
X
(Y )
hPT op (ΣX, ∗)
Σ: PT op → PT op
(X, x
0
)
ΣX = I × X/({0} × X ∪ I × {x
0
} ∪ {1} × X),
∗ = p({0}×X ∪ I ×{x
0
}∪ {1}×
X) ∈ ΣX p
PT op f : X → Y PT op Σ(f)
id
I
×f : I × X → I × Y
S
n
, n ≥ 1
ΣS
n
∼
=
S
n+1
π
n
hPT op
(S
n
, s
0
) (X, x
0
)
π
n
(X, x
0
)
∼
=
[(S
n
, s
0
), (X, x
0
)] = h
′
(S
n
, s
0
)
(X, x
0
).

Страницы