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

UptoLike

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

Рубрика: 

k Vect
k
k
R
R
Mod
R R M 1
R
x =
x x M 1
R
R R
Z
Mod Ab
R Mod
R
T op
0
T op
0
Ob(T op
0
) = Ob(T op)
Hom
T op
0
(X, Y ) = {
X Y }
f : X Y
f g
Φ: X × I Y I [0, 1]
X × I Φ |
X×{0}
=
f, Φ |
X×{1}
= g Φ |
X×{0}
Φ |
X×{1}
Φ
X × {0} X × I X × {1}
N N
N N N 0, 1, 2, 3, . . . .
m n = m + n m, n 0.
m n m + n
N
m+n
B
B
B
B
B
B
B
B
n
//
N
m
N.
id
N