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

UptoLike

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

Рубрика: 

T op
X×
S
Y X × Y X × Y
T op(T)
U×
T
V T
U V T
Alg ϕ: A B
B A
A B C
B
A
C
B
i
B
oo
C
i
C
OO
A,
ϕ
OO
ψ
oo
i
B
(b) = b 1
C
, i
C
(c) = 1
B
c. B
A
C
Alg.
§
Diff
Diff
f : R
2
R,
f(x, y) = xy. R
2
×
R
{0}
ι: {0} R f
1
(0),
OX OY
C
f : R
n
R
m
df m
T op