BBot
Apr 20'25
Exercise
[math]
\newcommand{\mathds}{\mathbb}[/math]
Look up the original version of Tannakian duality, stating that [math]G[/math] can be recovered from the knowledge of its full category of representations [math]\mathcal R_G[/math], viewed as subcategory of the category [math]\mathcal H[/math] of the finite dimensional Hilbert spaces, with each [math]\pi\in\mathcal R_G[/math] corresponding to its Hilbert space [math]H_\pi\in\mathcal H[/math], and write down a brief account of this.