Use homotopy, fundamental groups, homology, and cohomology to distinguish spaces through algebraic invariants.