groupoid object
generalization of a groupoid and a group objects
Lie groupoid
internal groupoid in the category of smooth manifolds
groupoid
category where every morphism is invertible; generalization of a group
double groupoid
object that generalises the notion of groupoid and of category to a higher dimension