Cohomology of categories and extensions of twisted diagrams of groups

A twisted diagram of groups assigns a group to every object of an indexing category and a homomorphism of groups to every morphism. However, it does not have to be completely functorial — it preserves composition only up to a compatible family of inner automorphisms. A. Haefliger defined a special case: the complex of groups. We prove that there exists a natural bijective correspondence between equivalence classes of epimorphisms of twisted diagrams of groups and elements of the second cohomology group of a certain small category. If this category is defined by a discrete group, then we obtain the well known classification of extensions of groups.