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

UptoLike

ВУЗ: 

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

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

Рубрика: 

2 0, 1
0 → 1
F, G: C → D
f : F ⇒ G
e
f : C ×2 → D
e
f(. . . , 0) = F (. . .),
e
f(. . . , 1) = G(. . .).

Страницы