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

UptoLike

ВУЗ: 

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

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

Рубрика: 

X ∈ Ob(C)
X
0
Hom
C
0
(X
0
, Y
0
) = Hom
C
(Y, X) ϕ: Y → X
C ϕ
0
: X
0
→ Y
0
C
0
ψ
0
◦ ϕ
0
= (ϕ ◦ ψ)
0
,
Z
ψ
//
ϕ◦ψ
Y
ϕ
~~
~
~
~
~
~
~
~
~
X
C
Z Y
ψ
0
oo
X
ψ
0
◦ϕ
0
=(ϕ◦ψ)
0
OO
ϕ
0
>>
~
~
~
~
~
~
~
~
C
0
id
X
0
= (id
X
)
0
C
0
C
(C
0
)
0
= C.
C, C
0
X ∈ Ob(C) C, X
0
∈ Ob(C
0
)
C
0
. X + Y
X, Y C, (X +Y )
0
X
0
, Y
0
C
0
,
C D
F : C → D
Ob(C) → Ob(D), X 7→ F(X);
X, Y ∈ Ob(C)
Hom
C
(X, Y ) → Hom
D
(F (X), F (Y )), {f : X → Y } 7→ {F (f): F (X) → F (Y )},

Страницы