For a group and its one-object delooping groupoid, the loop groupoid of is the free loop space object of .
This is the groupoid whose objects are the elements of , and whose morphisms are of the form
This plays a role in Dijkgraaf-Witten theory.
Created on September 8, 2010 19:41:01
by Urs Schreiber