GEORGIAN MATHEMATICAL JOURNAL, cilt.22, sa.3, ss.361-371, 2015 (SCI-Expanded)
In this paper, we show that the category of crossed modules over a fixed group is an exact category. We give a complete proof of the embedding theorem of XMod/P into a set-valued functor category. As a consequence of this theorem, we show that the subcategory of finitely generated free crossed P-modules is dense in the category of crossed P-modules and each crossed P-module is represented as a coend.