A universal construction in Goursat categories
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.
Diana Rodelo (CMUC/U. Algarve)
February 12, 2008