Semidirect products and split short five lemma in normal categories

In this paper we study a generalization of the notion of categorical semidirect product, as defined in [6], to a non-protomodular context of categories where internal actions are induced by points, like in any pointed variety. There we define semidirect products only for regular points, in the sense we explain below, provided the Split Short Five Lemma between such points holds, and we show that this is the case if the category is normal, as defined in [12]. Finally, we give an example of a category that is neither protomodular nor Mal’tsev where such generalized semidirect products exist.