¿Prueba categórica de la dualidad de Pontrjagin?

Question

Me gustaría preguntar si hay alguna referencia en la que Pontrjagin Dualidad queda demostrado en una categoría de contexto: empecé a leer el Pontrjagin de Doble entrada en nLab,

http://ncatlab.org/nlab/show/Pontrjagin+dual;

y estoy en busca de una prueba de la Pontrjagin dualidad teorema 1 del vínculo - en el espíritu del párrafo que sigue a la declaración del resultado. Simplemente porque quiero tener un vistazo a la teoría general, que permite describir de manera categórica los duales de algunas categorías, de ir a través de todos los detalles necesarios del análisis armónico perspectiva - que es el caso con la mayoría de los textos que he visto.

Answer 1

Se puede poner Pontrjagin dualidad en un agradable marco categorial, es decir, como una adición que resulta para ser una equivalencia (como se explica en el nlab), pero no se puede hacer la prueba de que la unidad de la adición, es decir la inclusión del bidual $G \to \widehat{\widehat{G}}$ es un isomorfismo, por absurdo abstracto. Esto mantiene un resultado no trivial y profunda del análisis armónico y de ninguna manera es formal (que yo sepa).