The term Lie $2$-groupoid is used in the literature in more than one context. Some examples are given below:
- Gregory Ginot'sGinot and Stiénon's paper paper$G$-gerbes, principal $2$-group bundles and characteristic classes defines a Lie $2$-groupoid to be a double Lie groupoid in the sense of the paperBrown - Determination of a double Lie groupoid by its core diagram satisfying certain conditions.
- Rajan Amit Mehta and Xiang Tang's paper paperFrom double Lie groupoids to local Lie $2$-groupoids says that "The simplicial approach to $n$-groupoids goesbackgoes back to Duskin [Higher-dimensional torsors and the cohomology of topoi: the abelian theory] in the discrete case, and the smooth analogue appeared in Andre Henriques [paperHenriques - Integrating L-infinity algebras]." They define Lie $2$-groupoid to be a simplicial manifold $X=(X_k)$ with some condition on the horn maps.
- MatialMatias del Hoyo and Davide Stefani's paper paperThe general linear $2$-groupoid defines a Lie $2$-groupoid to be a Lie $2$-category and a $2$-category satisfying certain conditions.
- The n-lab page on pageLie $2$-groupoids on Lie $2$-groupoid says "a Lie 2-groupoid is a 2-truncatedtruncated $\infty$-Lie groupoid"$\infty$-Lie groupoid". No further discussion is given there. Clicking the link $\infty$-Lie groupoid takes you to the page pageLie $n$-groupoid, which dodoes not contain muchmany details.
Questions :
- Are these notions genuinely different notions introduced for different purposes or are they all thesethe same candidate wearing different outfitoutfits?
- Are there other notions of Lie $2$-groupoids in the literature?