Esta misma operación puede extenderse a la categoría de variedades diferenciables, y resulta en ese caso única salvo difeomorfismos.