Protomodularity, descent, and semidirect products
D. Bourn and G. Janelidze
Using descent theory we give various forms of short five-lemma in
protomodular categories, known in the case of exact protomodular
categories. We also describe the situation where the notion of a
semidirect product can be defined categorically.
Theory and Applications of Categories, Vol. 4, 1998, No. 2, 37-46
http://www.tac.mta.ca/tac/volumes/1998/n2/n2.dvi
http://www.tac.mta.ca/tac/volumes/1998/n2/n2.ps
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1998/n2/n2.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1998/n2/n2.ps