Kuranishi spaces as a 2-category

This is a survey of the author's paper arXiv:1409.6908 and in-progress book. 'Kuranishi spaces' were introduced in the work of Fukaya, Oh, Ohta and Ono in symplectic geometry (see e.g. arXiv:1503.07631), as the geometric structure on moduli spaces of $J$-holomorphic curves. We propose a new definition of Kuranishi space, which has the nice property that they form a 2-category $\bf Kur$. Thus the homotopy category Ho$({\bf Kur})$ is an ordinary category of Kuranishi spaces. Any Fukaya-Oh-Ohta-Ono (FOOO) Kuranishi space $\bf X$ can be made into a compact Kuranishi space $\bf X'$ uniquely up to equivalence in $\bf Kur$ (that is, up to isomorphism in Ho$({\bf Kur})$), and conversely any compact Kuranishi space $\bf X'$ comes from some (nonunique) FOOO Kuranishi space $\bf X$. So FOOO Kuranishi spaces are equivalent to ours at one level, but our definition has better categorical properties. The same holds for McDuff and Wehrheim's 'Kuranishi atlases' in arXiv:1508.01556. Using results of Yang on polyfolds and Kuranishi spaces surveyed in arXiv:1510.06849, a compact topological space $X$ with a 'polyfold Fredholm structure' in the sense of Hofer, Wysocki and Zehnder (see e.g. arXiv:1407.3185) can be made into a Kuranishi space $\bf X$ uniquely up to equivalence in $\bf Kur$. Our Kuranishi spaces are based on the author's theory of Derived Differential Geometry (see e.g. arXiv:1206.4207), the study of classes of derived manifolds and orbifolds that we call 'd-manifolds' and 'd-orbifolds'. There is an equivalence of 2-categories ${\bf Kur}\simeq{\bf dOrb}$, where $\bf dOrb$ is the 2-category of d-orbifolds. So Kuranishi spaces are really a form of derived orbifold. We discuss the differential geometry of Kuranishi spaces.