Update references

Some small typos in section 3 corrected, updated references to
Tannaka-Krein in intro and reference to Hayashi paper