Функторные морфизмы. Ершов А.В. - 53 стр.

UptoLike

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

Рубрика: 

C
C E
X Ob(C) X ×
X, X × X × X.
δ : X X × X,
X × X
π
1
zz
u
u
u
u
u
u
u
u
u
u
π
2
$$
I
I
I
I
I
I
I
I
I
I
X X
X
id
X
dd
I
I
I
I
I
I
I
I
I
I
id
X
::
u
u
u
u
u
u
u
u
u
u
δ
OO
X C
C
m: X × X X ,
i: X X ,
e: E X ,