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.