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.
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.