nLab
double loop group

References