The development of Floer theory in its early years can be seen as a parallel to the emergence of algebraic topology in the first half of the 20th century, going from counting invariants to homology groups, and beyond that to the construction of algebraic structures on these homology groups and their underlying chain complexes. In continuing work that started in the latter part of the 20th century, algebraic topologists and homotopy theorists have developed deep methods for refining these constructions, motivated in large part by the application of understanding the classification of manifolds. The goal of this program is to relate these developments to Floer theory with the dual aims of (i) making progress in understanding symplectic and low-dimensional topology, and (ii) providing a new set of geometrically motivated questions in homotopy theory.