Lurie’s ideas are sweeping on a scale rarely seen in any field. Through his books, which span thousands of dense, technical pages, he has constructed a strikingly different way to understand some of ...

All equals are not created equal—mathematicians sometimes play fast and loose. In programming, equal signs mean different things, and variables have different types. Turning intuitive math expertise ...