Morphisms of double Lie groupoids: a simplicial approach
Motivated by recent developments in generalized Kähler geometry, we study morphisms of double Lie groupoids from a simplicial viewpoint. We show that the codiagonal functor $\Wbar$ extends from objects to horizontal and vertical principal bibundles and to square-shaped $(1,1)$-morphisms. The latter determine 2-dimensional morphisms of square and globular shape between anafunctors of Lie 2-groupoids. We illustrate these constructions through two applications: First, we revisit the equivalence between two models of nonabelian gerbes: groupoid bundle gerbes and principal 2-bundles. We show that a principal 2-bundle and its associated groupoid bundle gerbe determine equivalent anafunctors from a manifold to the corresponding structure Lie 2-group. Second, we refine the integration of Manin triples in transitive Courant algebroids. We show that integrations associated with different choices of suitably transverse Manin triples in the same Courant algebroid are related by symplectic Morita equivalences. Consequently, the resulting integration of the background Courant algebroid is well defined up to symplectic Morita equivalence.