Grupo fundamental: Considera la categoría de los espacios topológicos con "puntos base", con "puntos distinguidos".