Equivalence of the categories of categorical groups and cssc-crossed modules

Abstract

In [8] we proved that any categorical group defines a c-crossed module, which is a cssc-crossed module defined in the same paper. In [9] we constructed a categorical group for any cssc-crossed module. In the presented paper we prove that these correspondences define functors between the corresponding categories, which realize an equivalence of the categories of categorical groups and cssc-crossed modules.