--- title: "Floer Homotopy Theory" author: - "D. Zack Garza" abstract: | The goal of this note is to summarize and contextualize Abouzaid-Blumberg's proof of the Arnold conjecture using Floer homotopy types with coefficients in Morava $\K\dash$theories. ---