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

UptoLike

ВУЗ: 

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

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

Рубрика: 

C
D
A ∈ Ob(C) Quot(A) ∈ D
Q
: C → D.
φ: A → B
Q
(φ): Quot(A) → Quot(B)
A ⊂ Quot(A) φ.
Vect
k
k
V 7→ T
r
(V ) r
f : V → W f(v
1
⊗
. . . ⊗ v
r
) = f(v
1
) ⊗ . . . ⊗ f(v
r
) T
r
(f): T
r
(V ) →
T
r
(W ). T
r
Vect
k
V 7→ T (V )
Vect
k
→ Alg
k
k
X X
∼, x ∼ y
w : I → X I = [0, 1] X
w(0) = x, w(1) = y. ∼
π
0
(X).
π
0
(X) 0
X f : X → Y
f 0 X 0
Y π
0
(f): π
0
(X) → π
0
(Y ).
π
0
(id
X
) = id
π
0
(X)
π
0
(f ◦ g) = π
0
(f) ◦ π
0
(g).
π
0
T op → Sets.
π
0
(X). ∗
Hom
T op
0
(∗, X) ↔
π
0
(X), [f] 7→ {0 f(∗)}, [f] ∈
Hom
T op
0
(∗, X) f
T op
0
f : ∗ → X X
f 7→ f(∗). f g
f(∗) g(∗)

Страницы