In
mathematics, a
2-group, or
2-dimensional higher group, is a certain combination of
group and
groupoid. The 2-groups are part of a larger hierarchy of
n-groups. In some of the literature, 2-groups are also called
gr-categories or
groupal groupoids.