A universal construction in Goursat categories

Abstract

We prove that the category of internal groupoids Grd(E) is a reflective subcategory of the category Rg(E) of internal reflexive graphs in a regular Goursat category E with coequalisers: this implies that the category Grd(E) is itself regular Goursat.