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

UptoLike

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

Рубрика: 

h · (g · f)
(h·g)·f
c
y
c
z
H(s, t) =
f(
4s
t+1
), 0 s
t+1
4
g(4s t 1)),
t+1
4
s
t+2
4
h(
4st2
2t
),
t+2
4
s 1
[f][c
x
] = [f], [c
y
][f] = [f]
f ·c
x
f, c
y
·f f
A
A
A
A
A
f
c
x
f
c
x
c
y
f
f c
y
c
x
c
y
H(s, t) =
f(
2s
t+1
), 0 s
t+1
2
y,
t+1
2
s 1
[f
1
· f] = [c
x
] [f · f
1
] = [c
y
].
······························
f
t
c
f(t)
f
1
t
A
A
A
A
A
A
A
A
A
f f
1
c
x
c
x
c
x
f
t
= f|
[0, t]
f
1
t
= f
1
|
[1t, 1]
.
H(s, t) =
f(2s), 0 s t/2
f(t), t/2 s 1 t/2
f(2 2s), 1 t/2 s 1.