In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension. == Definition == A double groupoid D is a higher-dimensional groupoid involving a relationship for both 'horizontal' and 'vertical' groupoid structures.
In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension. == Definition == A double groupoid D is a higher-dimensional groupoid involving a relationship for both 'horizontal' and 'vertical' groupoid structures.
Source: Wikipedia "Double groupoid" · CC BY-SA 4.0
Share this article: X · Bluesky