2-group
In mathematics, particularly category theory, a 2-group is a groupoid with a way to multiply objects and morphisms, 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.