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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X
f
→ Y
g
→ Z C F (X)
F (f)
←−
F (Y )
F (g)
←− F (Z) D
Rev : C
◦
→ C C
◦
Rev(f
◦
) = f
F : C → D
G = F ◦Rev : C
◦
→ D F ◦Rev
P(S)
k S ∈ Ob(C)
F (S) S k
S k. f : S → k
f(s) f s ∈ S.
(f + g)(s) = f(s) + g(s) s ∈ S,
(af)(s) = a(f(s)) a ∈ k, s ∈ S.
F (S)
k S =
{1, . . . , n}, F (S) k
n
f
{f(1), . . . , f(n)}.
S 7→ F ( S)
F : Set → Vect
k
S 7→ F (S)
φ: S → T Set
F (φ): F (T ) → F(S),
φ
∗
φ
∗
(f) = f ◦ φ, φ: S → T, f : T → k.
F (X)
∼
=
∏
x∈X
k

Страницы