Q quantamagazine.org Emily Riehl is rewriting the foundations of higher category theory (2020) 102 points perihelions 1 year ago 21 comments