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

UptoLike

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

Рубрика: 

X Y
f : X Y g : Y X g f id
X
, f g id
Y
.
F : C D
G: D C,
G F id
C
, F G id
D
.
C, D
G
F.
2 I
2