nLab
double groupoid

A double groupoid is a double category in which all morphisms are isomorphisms.