1). In category theory, a groupoid is a category in which every morphism is invertible. If the morphisms form a set (rather than a proper class) and there is only one object, then the groupoid can be considered as a group, with the elements of the group being the morphisms. If there is more than one object, then the groupoid is like a group with a multiplication that is only partially defined.
HomePage | Recent changes | View source | Discuss this page | Page history | Log in |