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

UptoLike

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

Рубрика: 

ψ = γ
i
i I.
D
e d f
D
D
e d f
D
D
d d
.
D D
f, g : X Y Y
x X f(x) g(x)
R Y
R Y × Y, R = {(y
1
, y
2
) | y
1
y
2
}