Infinity category theory offers a bird’s-eye view of mathematics