Groupoid object

ID: groupoid-object

Groupoid object by Wikipedia Bot 0
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.

New to topics? Read the docs here!