2-group

In mathematics, particularly category theory, a 2-group is a groupoid with a way to multiply objects, making it resemble a group. They are part of a larger hierarchy of n-groups. They were introduced by Hoàng Xuân Sính in the late 1960s under the name gr-categories, and they are also known as categorical groups.