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

UptoLike

ВУЗ: 

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

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

Рубрика: 

AB p × m
m
B
→ n
A
→ p
id
m
m
C
¯
C
¯
C
C
f : A → B
f
0
: A
0
→ B
0
C
¯
A =
¯
A
0
,
¯
B =
¯
B
0
¯
C f ∼ f
0
α: A → A
0
, β
0
: B
0
→ B f = β
0
◦ f
0
◦ α.
C S ∈
Ob(C) C
S
S
C
S
(X, ϕ), X ∈ Ob(C), ϕ ∈ Hom
C
(X, S)
(X, ϕ) ∈ Ob(C
S
) (Y, ψ) ∈ Ob(C
S
) f ∈ Hom
C
(X, Y )
ϕ = ψ ◦ f,
X
ϕ
f
//
Y
ψ
~~
~
~
~
~
~
~
~
~
S
C
S
(X, ϕ), ϕ ∈ Hom
C
(X, S) (X, ϕ), ϕ ∈
Hom
C
(S, X).
g ◦ f = f
0
◦ g
0
.
X Z
X
f
//
g
0
Y
g
U
f
0
//
Z.

Страницы