2 problems

Higher integration conjecture. In the category of $L_\infty$-algebroids over Lie infinity-groupoids, $\mathfrak{g}$ is Morita equivalent to $\Pi_{\infty}(\mathfrak{g})$. More gener…

Higher smooth homotopy hypothesis. Lie $n$-algebroids up to $n$-equivalence are equivalent to source $n$-connected Lie $n$-groupoids up to equivalence. In particular, generalized…