El cual va a ser un funtor desde la categoría de los espacios topológicos con puntos base hacia la categoría de los grupos.