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

UptoLike

ВУЗ: 

СГУ им. Чернышевского | Саратов

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

Рубрика: 

h · (g · f)
(h ·g) · f
H
H : ΩX × ΩX × ΩX × I → ΩX,
H|
ΩX×ΩX×ΩX×{0}
= m ◦(1 ×m), H|
ΩX×ΩX×ΩX×{1}
= m ◦(m ×1).
H
H
H
k ·(h · (g · f))
H(1×1×m)
uu
k
k
k
k
k
k
k
k
k
k
k
k
k
k
m(1×H)
))
S
S
S
S
S
S
S
S
S
S
S
S
S
S
(k ·h) · (g · f)
H(m×1×1)
k ·((h · g) · f)
H(1×m×1)
((k ·h) · g) · f (k ·(h · g)) · f
m(H×1)
oo
H
m ◦ (1 × H): ΩX
4
× I → ΩX
(m ◦ (1 × H))(k, h, g, f; t) = m(k, H(h, g, f; t)) = k · H(h, g, f; t),
k, h, g, f ∈ ΩX, t ∈ I,
k ·H(h, g, f; t) =
k ·(h · (g · f)), t = 0
k ·((h · g) · f), t = 1

Страницы