The Embedding Theorem
  In this work, it is shown that the category XMod/P of crossed modules over fixed group P is an exact category and the complete proof of the embedding theorem of XMod/P into a set valued functor category is given. 
Ummahan Ege Arslan, G\"Ul\"Umsen Onarli
math.CT