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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Y ∈ Ob(C) h
X
(Y )
Y
h
X
(Y )
Y.
T op
0
(ΩX, ω
0
)
X x
0
ω
0
S
1
x
0
ΩX.
f
1
, f
2
: I → X, f
i
(0) = f
i
(1) = x
0
, i = 1, 2
f
1
f
2
: I → X
(f
1
f
2
)(t) = f
1
(2t) 0 ≤ t ≤ 1/2, (f
1
f
2
)(t) = f
2
(2t − 1) 1/2 ≤ t ≤ 1.
f
−1
: I → X f : I → X, f(0) = f(1) = x
0
f
−1
(t) = f(1 − t), 0 ≤ t ≤ 1
m: ΩX ×ΩX → ΩX
i: ΩX → ΩX.
e: ∗ → ΩX ∗ ∗
E Sets, T op T op
0
ω
0
∈ ΩX m, i, e
T op
0
T op → T op
0
ΩX
ΩX
T op
0
T op
0
Aff
Spec(Z[x, x
−1
])
Spec(Z[x, x
−1
]) A
0
= Spec(A) 7→ A
×
,

Страницы