Il peut être utile de considérer le groupe dual fonctoriellement. Dans ce qui suit, GALC désigne la catégorie des groupes abéliens localement compacts et des homomorphismes de groupes continus. La construction du groupe dual G^ est un foncteur contravariant GALC → GALC. En particulier, le foncteur itéré G → (G^)^ est covariant.
Théorème. Le foncteur de dualié est un isomorphisme de catégories de la catégorie GALC vers sa catégorie opposée GALCop.
Théorème. Le foncteur dual itéré est naturellement isomorphe au foncteur identité de GALC.
Cet isomorphisme peut se comparer à la construction du bidual d'un espace vectoriel de dimension finie.
Cette dualité échange les sous-catégories des groupes discrets et des groupes compacts. Si A est un anneau et G est un A-module à gauche, le groupe dual G^ devient un A-module à droite; de cette façon les A-modules à gauche discrets sont duaux au sens de Pontryagin des A-modules à droite compacts. L'anneau End(G) des endomorphismes dans GALC est par dualité envoyé sur son anneau anneau opposé. Si G est par exemple un groupe cyclique discret infini (isomorphe à
Les ouvrages suivants possèdent des chapitres consacrés aux groupes abéliens localement compacts, la dualité et la transformée de Fourier. L'ouvrage de J. Dixmier possède aussi du matériel spécifique à l'analyse harmonique non commutative.