  This is an expository paper about Seiberg-Witten Floer stable homotopy types.
We outline their construction, which is based on the Conley index and finite
dimensional approximation. We then describe several applications, including the
disproof of the high-dimensional triangulation conjecture.
