Chenchang Zhu works in the Courant Research Centre on “higher order structures in mathematics” in the Mathematisches Institut at Georg-August-Universität Göttingen.