Категории и функторы. Ершов А.В. - 22 стр.

UptoLike

ВУЗ: 

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

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

Рубрика: 

(V, f) V
f : U
1
× . . . × U
n
→ V
(V, f) (W, g)
φ: V → W,
U
1
× . . . × U
n
f
//
g
V
φ
wwp
p
p
p
p
p
p
p
p
p
p
p
p
p
W
g φ ◦ f
U
1
× . . . × U
n
→ W.
U
1
, . . . , U
n
g ◦ f = f
′
◦ g
′
.
X Z
X
f
//
g
′
Y
g
U
f
′
//
Z.

Страницы