BOLETIM SOCIEDADE PARANAENSE DE MATEMATICA, cilt.38, sa.7, ss.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.