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

UptoLike

ВУЗ: 

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

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

Рубрика: 

Sets
S ∈ Sets G
Hom
Sets
(S, G)
f, g ∈ Hom
Sets
(S, G)
fg : S → G (fg)(x) = f(x)g(x) ∀x ∈ S fg
x ∈ S f, g
f(x), g(x) ∈ G
Hom
Sets
(S, G) × Hom
Sets
(S, G) → Hom
Sets
(S, G), (f, g) 7→ fg
Hom
Sets
(S, G).
G Hom
Sets
(∗, G), ∗ ∈ Ob(Sets)
ϕ: S
0
→ S
h
G
(ϕ): Hom
Sets
(S, G) → Hom
Sets
(S
0
, G)
α: G → H h
α
(S): Hom
Sets
(S, G) → Hom
Sets
(S, H)
G
Gr ,
C X ∈ Ob(C).
X
h
X
(Y ) = Hom(Y, X)
ϕ: Y
1
→ Y
2
C
h
X
(ϕ): h
X
(Y
2
) → h
X
(Y
1
)
X C.
X
1
→ X
2
C
h
X
1
(Y ) → h
X
2
(Y ), Y ∈ Ob(C)
X ∈ Ob(C) X
C
E
X × X, X × X × X.

Страницы