From simplicial homotopy to crossed module homotopy in modified categories of interest
AbstractWe address the (pointed) homotopy of crossed module morphisms in modified categories of interest that unify the notions of groups and various algebraic structures. We prove that the homotopy relation gives rise to an equivalence relation as well as to a groupoid structure with no restriction on either domain or co-domain of the corresponding crossed module morphisms. Furthermore, we also consider particular cases such as crossed modules in the categories of associative algebras, Leibniz algebras, Lie algebras and dialgebras of the unified homotopy definition. Finally, as one of the major objectives of this paper, we prove that the functor from simplicial objects to crossed modules in modified categories of interest preserves the homotopy as well as the homotopy equivalence.