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

UptoLike

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

Рубрика: 

m: X × X X m
: H
(X)
H
(X × X). α
X
H
(X)
:= α
X
m
: H
(X) H
(X)
b
H
(X).
B := H
(X).
H
m
B
b
B
b
B B
b
B
B
id
B
oo
B
b
B
id
B
B
OO
B.
B
oo
B
OO
B
: B B
b
B
e: E X ε
B
: B k
k = H
(E) E
B
b
B
µ
B
k B
η
B
id
B
oo
B
b
B
ε
B
id
B
oo
B B,
B
OO
id
B
oo
µ
B
= δ
α
1
X
: B
b
B B B = H
(X)
η
B
= τ
: k B τ : X E
E
x H
q
(X), q > 0
B
(x) = x 1 + 1 x +
x
i
x
i
,
x
i
, x
i
B = H
(X).
δ : X X ×X