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

UptoLike

ВУЗ: 

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

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

Рубрика: 

x
0
π
0
: PT op → PSet.
∗ S
0
s
0
.
Hom
hPT op
((S
0
, s
0
), (X, x
0
)) ↔ π
0
(X, x
0
)
X Y
X
Y
f : Y → X
X
Y
M(K, U) := {f ∈ X
Y
| f(K) ⊂ U} K
Y U X
X
Y
K
i
⊂ Y
U
i
⊂ X
X x
0
P X X
x
0
∈ X X
I
,
f : I → X I = [0, 1] X f(0) = x
0
(I, 0) → (X, x
0
) PT op
0 ∈ I
P X
P X ω
0
: I → X
I x
0
φ ∈ Hom
PT op
((X, x
0
), (Y, y
0
))
f : (I, 0) → (X, x
0
) φ ◦ f : (I, 0) → (Y, y
0
), φ
n
R
n+1
x
2
1
+x
2
2
+. . .+x
2
n+1
= 1 S
0
x
2
= 1 x = ±1

Страницы