fall 2024: triangulation and Pin(2)-equivariant Seiberg-Witten-Floer theory