Exactness of the 2-categories of abelian and triangulated categories

We introduce a notion of $2$-homological category modelled on pointed homological categories in the sense of Grandis, using bizero objects whose null $1$-cells are zero objects in the hom-categories for formulating $2$-dimensional pointedness. We first prove directly that the $2$-category of di-exac