Identity, individuality and indistinguishability in physics and mathematics.

In this brief survey, we discuss some of the scientific and philosophical problems and debates that underlie the notions of , and in physics and mathematics. We critically analyse the different positions for or against the existence of indistinguishable objects in different scientific theories, notably quantum mechanics and gauge theories in physics and homotopy type theory in mathematics. We argue that the different forms of indistinguishability that occur in many areas of physics and mathematics-far from being a problem to be eradicated-exhibit a rich formal structure that plays a key role in the corresponding theories that needs to be properly understood. This article is part of the theme issue 'Identity, individuality and indistinguishability in physics and mathematics'.