To distinguish between fundamentally different objects, mathematicians turn to invariants that encode the objects’ essential features.