Mathematics reimagined