Hopf problem: torus homology · period torus higher homology 1 #
Supporting definitions and proofs for this stage of the six-sphere construction.
theorem
Mathoverflow1973.PeriodTorusHigherHomology.singularHomologyMap_comp
{X Y Z : Type}
[TopologicalSpace X]
[TopologicalSpace Y]
[TopologicalSpace Z]
(f : C(X, Y))
(g : C(Y, Z))
(n : ℕ)
: