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

UptoLike

ВУЗ: 

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

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

Рубрика: 

U
1
× . . . × U
n
f
//
g
V
φ
wwp
p
p
p
p
p
p
p
p
p
p
p
p
p
W
U
1
, . . . , U
n
(U
1
⊗ . . . ⊗ U
n
, τ)
τ : U
1
× . . . × U
n
→ U
1
⊗ . . . ⊗ U
n
(U
1
⊗ . . . ⊗ U
n
, τ)
k V f : U
1
×. . .×
U
n
→ V φ: U
1
⊗ . . . ⊗
U
n
→ V
U
1
× . . . × U
n
τ
//
f
U
1
⊗ . . . ⊗ U
n
φ
uu
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
k
V
k
V k C
(A, φ)
A k φ: V →
A. (A, φ) (B, ψ) k
χ: A → B,
V
ψ
φ
//
A
χ
~
~
~
~
~
~
~
~
B

Страницы