Tannaka-Krein

Further work on Tannaka-Krein section