Liftings and covering morphisms of crossed modules in group-groupoids

Abstract

In this work we introduce lifting and covering of a crossed module in the category of group-groupoids; and then we prove the categorical equivalence of horizontal actions of a double group-groupoid and lifting crossed modules of corresponding crossed module in group-groupoids. These allow us to produce more examples of double group-groupoids.