A characterisation of algebraic exactness (Q2376585)

An algebraically exact category is one that satisfies all exactness properties present in any variety of universal algebras. A list of these conditions was given in [\textit{J. Adámek} et al., J. Algebra 244, No. 2, 450--477 (2001; Zbl 1004.18006)], and in [\textit{J. Adámek} and the reviewer, ibid. 272, No. 2, 730--738 (2004; Zbl 1044.18002)] it was shown that this list characterizes algebraic exactness for cocomplete categories. The authors of these papers were not able to prove that in full generality what the present paper does using techniques developed in [the author and \textit{S. Lack}, J. Pure Appl. Algebra 216, No. 6, 1372--1396 (2012; Zbl 1256.18002)].