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

UptoLike

ВУЗ: 

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

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

Рубрика: 

B
b
⊗B
ε
B
⊗id
B
//
k
b
⊗B
η
B
⊗id
B
//
B
b
⊗B
µ
B
f⊗f
//
A
b
⊗A
µ
A
B
∆
B
OO
id
B
//
B
f
//
A,
f
b
⊗
SAlg
k
× SAlg
k
→ SAlg
k
, (A, B) 7→ A
b
⊗B,
f : A → A
′
, f
′
: A
′
→ A
′′
g : B → B
′
, g
′
: B
′
→ B
′′
(f
′
⊗ g
′
) ◦ (f ⊗ g) = (f
′
◦ f) ⊗ (g
′
◦ g): A ⊗B → A
′′
⊗ B
′′
.
f = µ
A
◦ ((f ◦ η
B
◦ ε
B
) ⊗ f) ◦ ∆
B
=
µ
A
◦ ((η
A
◦ ε
B
) ⊗ f) ◦ ∆
B
= (η
A
◦ ε
B
) ∗ f,
f◦η
B
= η
A
f : B → A
f ◦S
B
= f
−1
.
B
b
⊗B
S
B
⊗id
B
//
B
b
⊗B
µ
B
f⊗f
//
A
b
⊗A
µ
A
B
∆
B
OO
ε
B
//
k
η
B
//
B
f
//
A,
f
(f ◦ S
B
) ∗ f = f ◦ η
B
◦ ε
B
= η
A
◦ ε
B
,
η
A
◦ε
B
∗

Страницы