Floer homotopy type refines the Floer homology by associating a
(stable) homotopy type to an Hamiltonian, whose homology gives the
Hamiltonian Floer homology. In particular, one expects the existing
structures on the latter to lift as well, such as...