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

UptoLike

ВУЗ: 

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

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

Рубрика: 

δ : X → X × X,
X × X
π
1
{{
v
v
v
v
v
v
v
v
v
π
2
##
H
H
H
H
H
H
H
H
H
X X
X
id
X
dd
H
H
H
H
H
H
H
H
H
H
id
X
::
v
v
v
v
v
v
v
v
v
v
δ
OO
X
C
m: X × X → X ,
i: X → X ,
e: E → X ,
X × X × X
id
X
×m
m×id
X
//
X × X
m
X × X
m
//
X
X × X
τ×id
X
//
E × X
e×id
X
//
X × X
m
X
δ
OO
id
X
//
X
τ
X × X
i×id
X
//
X × X
m
X
δ
OO
τ
//
E
e
//
X

Страницы