El título lo dice todo, pero déjame repetirlo.
Todos aprendemos que el dual de Pontryagin de un grupo abeliano finito es abstractamente isomorfo como grupos, pero no hay isomorfismo canónico.
Creo que lo entiendo, pero no sé cómo formalizar esta afirmación, tal vez usando la teoría de categorías.
¿Alguien podría iluminarme?
Si muchos piensan que esto es más adecuado para Math.SE, muévalo allí.
