We investigate internal groupoids and pseudogroupoids in varieties of universal algebras, and we give a new description of internal groupoids in congruence modular varieties. We then prove that in any congruence modular variety an algebraically central extension is categorically central. The converse implication being already known, it follows that there is a perfect agreement between these two notions in any congruence modular variety. This theorem extends various partial results in this direction proved, so far, for Omega-groups, for Maltsev varieties and for semi-abelian categories. (C) 2002 Elsevier Science B.V. All rights reserved.
Gran, M. (2002). Commutators and central extensions in universal algebra. Journal of Pure and Applied Algebra, 174(3), 249-261. https://doi.org/10.1016/S0022-4049(02)00170-6 (Original work published 2002)