Loop groups

Loops groups will be needed in several talks that deal with local objects on the geometric side.

As a source one can use these notes.