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

UptoLike

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

Рубрика: 

s, t I. f [f]
f f(0) = f(1) x = y
π
1
(X, x)
x X
g · f f : x y g : y z
f g
(g · f)(s) =
f(2s), 0 s 1/2
g(2s 1), 1/2 s 1
f
1
f f
1
(s) = f(1 s). c
x
x c
x
(s) = x s I.
[g][f]
[g] [f] [g · f]
f : x y, g : y z h: z w.
[h]([g][f]) = ([h][g])[f]
h · (g · f) (h · g) · f
X h · (g · f)
f g h
(h · g) · f f
g h H : I × I X
f g h
f g h
c
x
c
w
x y