  We prove that every slim double Lie groupoid with proper core action is
completely determined by a factorization of a certain canonically defined
"diagonal" Lie groupoid.

Differential Geometry;Category Theory