Can mathematics handle things that are essentially the same without being exactly equal? Category theorist Eugenia Cheng and host Steven Strogatz discuss the power and pleasures of abstraction.