1
Published 2021
Cambridge University Press
... differential geometry, microlocal analysis, topos theory, infinity-groupoids, homotopy type theory, category...