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

UptoLike

ВУЗ: 

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

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

Рубрика: 

π
0
◦Ω
PT op → PSet
PSet, Gr,
π
0
(ΩX, ω
0
)
ΩX
µ π
0
◦ Ω: PT op → Gr
π
1
X
x
0
Hom
hPT op
((S
1
, s
0
), (X, x
0
))
X
Hom
hPT op
((S
0
, s
0
), (ΩX, ω
0
)) ↔ Hom
hPT op
((S
1
, s
0
), (X, x
0
)).
(S
0
, s
0
) → (ΩX, ω
0
)
(S
1
, s
0
) → (X, x
0
)
(S
0
, s
0
) → (ΩX, ω
0
) ΩX
X −1 ∈ S
0
1 ∈ S
0
PT op
ω
0
f, g : S
1
→ X, f(s
0
) = g(s
0
) = x
0

Страницы