Si se considera importante cierta simetría bajo un grupo "G", se puede utilizar el topos que consiste en todos los "G"-espacios.