He estado pensando durante un rato acerca de la siguiente pregunta sin llegar a ningún sitio:
Deje $G$ ser un grupo, $N$ un subgrupo normal. Puede el cociente grupo $G/N$ ser visto como el (categoría teórica) colimit de un diagrama? Si se puede, de lo que el diagrama?