1 problem

Double-groupoid van Est conjecture. There is a van Est map from the cohomology of the double Lie groupoid to the cohomology of its LA-groupoid. If differentiation takes place in th…