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

UptoLike

ВУЗ: 

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

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

Рубрика: 

h: S → R, k : R → S,
X
i
X
//
i
0
X
B
B
B
B
B
B
B
B
R
k
Y
i
Y
oo
i
0
Y
~~
}
}
}
}
}
}
}
}
S.
h
OO
i
X
= h ◦ i
0
X
, i
0
X
= k ◦ i
X
, i
X
= (h ◦ k) ◦ i
X
, i
Y
= (h ◦ k) ◦ i
Y
.
h ◦ k
X
i
X
//
i
X
@
@
@
@
@
@
@
R
h◦k
Y
i
Y
oo
i
Y
~
~
~
~
~
~
~
R
h ◦
k id
R
. h
h ◦ k = id
R
. k ◦ h = id
S
.
R, i
X
, i
Y
S, i
0
X
, i
0
Y
X Y
h: S → R k : R → S, i
X
=
h ◦ i
0
X
, i
Y
= h ◦ i
0
Y
i
0
X
= k ◦ i
X
, i
0
Y
= k ◦ i
Y
.
X C
Y ∈ Ob(C) Hom
C
(X, Y )
X C
Y ∈ Ob(C) Hom
C
(Y, X)
Sets
∅ ∗
P(S)
∅ ⊂ S, S

Страницы