We prove that the category of precrossed modules is an algebraic category, and we develop a cotriple (co)homology theory for precrossed modules which generalizes the Eilenberg-MacLane theory of (co)homology groups. We study the relationship of this theory with the (co)homology of crossed modules.
"Homology of precrossed modules." Illinois J. Math. 46 (3) 739 - 754, Fall 2002. https://doi.org/10.1215/ijm/1258130982