1 problem

0 votes0 replies0 views
The formal differentiation conjecture for higher formal groupoids
Formal differentiation conjecture. The functor $\operatorname{FmlDiff}$ induces an equivalence between the underlying $\infty$ -categories
Conjectureopenformal-groupoids higher-category-theory lie-infinity-algebrasarXiv posted 2 days ago

The formal differentiation conjecture for higher formal groupoids