Más precisamente, la construcción dual del grupo "G^" de "G" es un funtor contravariante (.)^ : LCA -> LCA permitiendo que identifiquemos la categoría LCA de grupos topológicos abelianos localmente compactos con su propia categoría opuesta.