[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Work out the Tannakian duality for the closed subgroups

[[math]] G\subset U_N [[/math]]

first as a consequence of the results that we have, and then independently.