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

UptoLike

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

Рубрика: 

V B π
B
(Z). p V
a A W
n
a W
n
. a A
(a, p) A × B W
n
× V
n
(a, p) / Z
a A, p / π
B
(Z).
V B π
B
(Z), B V π
B
(Z).
p / V n p / V
n
A W
n
6= A,
a A, a / W
n
. W
n
a / W
m
m n a (a, p) / W
n
×V
n
n (a, p) Z p π
B
(Z).
M
B = R
n
C
n
1
n
, n N
V
n
P(T )
P(T )
T
A P(T ) A × A = A A = A.
T T
A T
A B B B T.
T P(T )
T T
f : A X C A×
X
A