Seiberg–Witten Floer theory