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

UptoLike

ВУЗ: 

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

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

Рубрика: 

S, F
S
′
= F
S
i
S
′
◦ ψ = i
S
φ = id
F
S
φ
F (id
S
) = id
F
S
. F (χ ◦ ψ) = F(χ) ◦ F (ψ)
ψ : S → S
′
, χ: S
′
→ S
′′
.
S
ψ
//
i
S
S
′
χ
//
i
′
S
S
′′
i
S
′′
S
χ◦ψ
//
i
S
S
′′
i
′′
S
F
S
F (ψ)
//
F
S
′
F (χ)
//
F
S
′′
F
S
F (χ◦ψ)
//
F
S
′′
.
F (χ◦ψ) F (χ)◦F (ψ)
F (χ ◦ ψ) = F(χ) ◦ F (ψ).
F
Set → Ab Set → Vect
k
Set → Alg
k
§1.4 X 7→ (M(X), ⋆)
F : Set → M M.
F : Set →
T op, S
F (S) S
S 7→ F (S)
F : Set → T op.
r
k §1.4
Vect
k
× . . . × Vect
k
| {z }
r
→ Vect
k
T
r
: Vect
k
→ Vect
k
r
Vect
k
→ Vect
k
× . . . × Vect
k
| {z }
r

Страницы