From groups to categorial algebra [electronic resource] : introduction to protomodular and Mal'tsev categories - Bourn, Dominique. (Springer, 2017)