Функторные морфизмы. Ершов А.В. - 20 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

F : C → sk C A ∈ Ob(C)
F (A) sk C
A A ∈ Ob(C)
α
A
: A → F (A), A ∈ Ob(sk C) α
A
= id
A
.
f : A → B C F (f) = α
B
◦ f ◦ α
−1
A
,
A
α
A
//
f
F (A)
F (f)
B
α
B
//
F (B).
F ◦ J
sk C, {α
A
}
id
C
⇒ J ◦ F
C
C sk C,
A ∈ Ob(C) Hom
C
(A, A).
§2.2 Π(X)
X X
x ∈ X π
1
(X, x) → Π(X)
π
1
(X, x)
x
skΠ(X) Π(X).
Vect
f
k
k
sk Vect
f
k
k
m
, m ∈ N
k
n
→ k
m
M
m×n
(k)
F

Страницы