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

UptoLike

ВУЗ: 

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

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

Рубрика: 

φ: X → Y
φ 0 X 0
Y f x y X
φ ◦ f : I → Y φ(x) φ(y) Y
π
0
(φ): π
0
(X) → π
0
(Y ).
π
0
(id
X
) = id
π
0
(X)
π
0
(ψ ◦ φ) = π
0
(ψ) ◦ π
0
(φ)
ψ : Y → Z. π
0
T op → Set.
π
0
(X).
∗
Hom
hT op
(∗, X) ↔ π
0
(X),
[φ] 7→ {0 φ(∗)}, [φ] ∈
Hom
hT op
(∗, X) φ
φ: ∗ → X X
φ 7→ φ(∗). φ ψ ∗ X
φ(∗) ψ(∗)
X
Hom
hT op
(∗, X) X
X → Y
Hom
hT op
(∗, X) → Hom
hT op
(∗, Y )
X → Y
π
0
(X) → π
0
(Y ), π
0
π
h
0
: hT op → Set
π
0
π
h
0
F : T op → hT op
φ: X → Y F (φ) = [φ] φ
π
0
hT op

Страницы