In higher-dimensional algebra (HDA), a double groupoid is a generalisation of a one-dimensional groupoid to two dimensions,[REF] and the latter groupoid can be considered as a special case of a category with all invertible arrows, or morphisms.
Double groupoids are often used to capture information about geometrical objects such as higher-dimensional manifolds (or n-dimensional manifolds) [REF].