Mal'cev, Protomodular, Homological and Semi-Abelian Categories door Francis Borceux & Dominique Bourn