Groupoid object

In category theory, a **groupoid object** is a generalization of the concept of a group to the context of a category. A groupoid is essentially a category where every morphism is invertible. In the context of groupoid objects, we can think about them in terms of a base category and how they relate to group-like structures within that category.