Set theory, category theory, and topology. Pierre Schapira explores the concept of identity within category theory, and what it means for the properties to be satisfied only up to homotopy.