Nous démontrons que la catégorie des groupoïdes internes Grd(ε) est une sous-catégorie réflexive de la catégorie RGph(ε) des graphes réflexifs internes à une catégorie régulière de Goursat avec coégalisateurs: on en déduit que la catégorie Gri.( £ ) est à son tour régulière de Goursat.
Gran, M., & Rodelo, D. (2008). A universal construction in Goursat categories. Cahiers de Topologie et Geometrie Differentielle Categoriques, 49(3), 196-208. https://hdl.handle.net/2078.5/87640 (Original work published 2008)