Further remarks on liftings of crossed modules (1704.07257v1)
Abstract: In this paper we define the notion of pullback lifting of a lifting crossed module over a crossed module morphism and interpret this notion in the category of group-groupoid actions as pullback action. Moreover, we give a criterion for the lifting of homotopic crossed module morphisms to be homotopic, which will be called homotopy lifting property for crossed module morphisms. Finally, we investigate some properties of derivations of lifting crossed modules according to base crossed module derivations.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.