Los isomorfismos en esta categoría son precisamente los difeomorfismos como se definen arriba.