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

UptoLike

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

Рубрика: 

i: X X S
B
= i
: B B
B
b
B
µ
B
B
b
B
S
B
id
B
oo
B k
η
B
oo
B;
ε
B
oo
B
OO
B = H
(X)
SAlg
k
B SAlg
k
A 7→ h
B
(A) = Hom
SAlg
k
(B, A)
A Ob(SAlg
k
),
f, g : B A SAlg
k
f g
h
B
(A)
B
B
B
b
B
fg
A
b
A
µ
A
A,
µ
A
A
f
1
f h
B
(A)
B
S
B
B
f
A.
h
B
(A)
η
A
ε
B
, η
A
: k A
1
A
A.