FACTORIZATION SYSTEMS FOR SYMMETRIC CAT-GROUPS S. KASANGIAN AND E.M. VITALE

ABSTRACT. This paper is a first step in the study of symmetriccat-groups as the 2-dimensional analogue of abelian groups. We show that a morphism of symmetriccatgroups can be factorized as an essentially surjective functor followed by a full and faithful one, as well as a full and essentially surjective functor followed by a faithful one. Both these factorizations give rise to a factorization system, in a suitable 2-categorical sense, in the 2-category of symmetric cat-groups. An application to exact sequences is given