Appears in collection : 2023 - T2 - WS3 - Dg-manifolds in geometry and physics

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.