Tannaka-Krein duality, in its classical form, says that given a compact group $G$, one can reconstruct the group $G$ from the category of t...