Un type de problème de base qui se produit tout au long des mathématiques est le problème de relevé : étant donné un espace qui « se situe au-dessus » d'un autre espace de base en raison d'une application de projection, et une application de un troisième espace dans l'espace de base, trouver un « relevé » de dans, c'est-à-dire une application telle que […]