A characterization of the Higgins commutator (Q2423827)

The Higgins commutator [\textit{P. J. Higgins}, Proc. Lond. Math. Soc. (3) 6, 366--416 (1956; Zbl 0073.01704)] is a universal-algebraic generalization of the commutator of groups to \(\Omega\)-groups. The paper [\textit{S. Mantovani} and \textit{G. Metere}, J. Algebra 324, No. 9, 2568--2588 (2010; Zbl 1218.18001)] claims that the Higgins commutator can be defined categorically for a pair of subobjects of each object in an ideal-determined category, while the paper [\textit{M. Gran} et al., J. Algebra 397, 643--665 (2014; Zbl 1305.18040)] shows that the categorical definition of the Higgins commutator is to be recovered through the weighted subobject commutator. This paper aims at characterizing the Higgins commutator as the largest binary operation \(C\)\ defined on all subobjects of each object in an ideal-determined unital category, pursuant to the following conditions: \begin{itemize} \item[1.] \(C\)\ is order-preserving. \item[2.] For each pair of subobjects \(H\)\ and \(K\)\ of an object \(X\), \(C\left( H,K\right) \) is always less or equal to the meet of normal closures of \(H\)\ and \(K\). \item[3.] For every pair of subobjects \(H\)\ and \(K\) of an object \(X\)\ and every morphism \(f\)\ with domain \(X\), we have \[ C\left( f\left( H\right) ,f\left( K\right) \right) =f\left( C\left( H,K\right) \right) \] \end{itemize} A similar characterization is to be found in [\textit{V. T. Shaumbwa}, Theory Appl. Categ. 32, 1588--1600 (2017; Zbl 1397.18010)] for the commutator introduced in [\textit{S. A. Huq}, Q. J. Math., Oxf. II. Ser. 19, 363--389 (1968; Zbl 0165.03301)] within genuinely categorical setting. The paper [\textit{J. Hagemann} and \textit{C. Herrmann}, Arch. Math. 32, 234--245 (1979; Zbl 0419.08001)] gives a characterization of the commutator, introduced in [\textit{J. D. H. Smith}, Mal'cev varieties. Cham: Springer (1976; Zbl 0344.08002)] and refined categorically in [\textit{M. C. Pedicchio}, J. Algebra 177, No. 3, 647--657 (1995; Zbl 0843.08004)], on congruence lattices.