on dit qu'un objet (qui vérifie telles propriétés) est unique "à isomorphisme près" pour signifier qu'en réalité il n'est pas unique, mais que tous les objets qui vérifient les mêmes propriétés sont isomorphes. C'est le cas par exemple de la clôture algébrique d'un corps. On peut en construire de diverses manières mais elles sont toutes isomorphes.
il y a une nuance assez subtile entre le point de vue selon lequel un objet est unique ou bien celui qui considère des objets isomorphes. Par exemple on parle du corps fini à 5 éléments (F5) mais d'un espace vectoriel sur R de dimension 3 (qu'on voit donc comme non unique). Je pense que la nuance vient du fait que dans le second cas il n'y a pas d'isomorphisme "canonique".
Dernière modification par MissJenny ; 21/01/2023 à 08h09.