Poincaré duality

Closed orientable n-manifold M: H_k(M) ≅ H^{n-k}(M) via cap with fundamental class. Compactly-supported version for open; Lefschetz for boundary.