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

UptoLike

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

Рубрика: 

X.
m: X × X X, m(g, f) = g ·f,
g · f f g
(g · f)(s) =
f(2s), 0 s 1/2
g(2s 1), 1/2 s 1
f
1
: I X f : I X, f(0) =
f(1) = x
0
f
1
(t) = f(1 t), 0 t
1 f 7→ f
1
i: X X.
e: X
E Set, T op hT op hPT op
ω
0
X
m, i, e
hPT op
X
m
X.
X × X × X
1×m
//
m×1
X × X
m
X × X
m
//
X
H
m (1 ×m) m (m ×1): X ×X ×X X