Stav dette: Loop groups and diffeomorphism groups of the circle as colimits