Emily Riehl is rewriting the foundations of higher category theoryquantamagazine.org235 pointsguerrilla5 years ago