Es conocida la dualidad (de álgebras de Hopf) entre universal que envuelve álgebra $U(\mathfrak{g})$ de un complejo Mentira álgebra $\mathfrak{g}$ de un grupo compacto $G$ y el álgebra de funciones continuas $C(G)$.
Mi pregunta es, hay en la literatura de cualquier lugar donde este se presenta en detalle? Bonus: también algunas referencias a la generalización de este hecho a cuantificada universal que envuelve álgebras?
La Wikipedia dice que es relativa a la Tannaka-Krein teoría, pero no sé mucho acerca de ella y de una búsqueda preliminar no he encontrado nada acerca de esta dualidad en los textos.
