Description
Kan simplicial manifolds provide with a very explicit model for $L_\infty$-groupoids. Pavol Severa proposed a procedure of differentiation for these objects, yielding an $L_\infty$-algebroid, (an NQ-manifold). In the talk I will report on joint work with Rui Fernandes, Du Li, Arne Wessel and Chenchang Zhu, where we have proven that this procedure always works.
