BOLETIM SOCIEDADE PARANAENSE DE MATEMATICA, vol.38, no.7, pp.181-193, 2020 (ESCI)
In this paper we define the notion of lifting of a crossed module via the morphism in groups with operations and give some properties of this type of liftings. Further we prove that the lifting crossed modules of a certain crossed module are categorically equivalent to the internal groupoid actions on groups with operations, where the internal groupoid corresponds to the crossed module.