Category where every morphism is invertible; generalization of a group
This article is about groupoids in category theory. For the algebraic structure with a single binary operation, see magma (algebra).
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a:
Group with a partial function replacing the binary operation;
Category in which every morphism is invertible. A category of this sort can be viewed as augmented with a unary operation on the morphisms, called inverse by analogy with group theory.[1] A groupoid where there is only one object is a usual group.
In the presence of dependent typing, a category in general can be viewed as a typed monoid, and similarly, a groupoid can be viewed as simply a typed group. The morphisms take one from one object to another, and form a dependent family of types, thus morphisms might be typed , , say. Composition is then a total function: , so that .
Special cases include:
Setoids: sets that come with an equivalence relation,
G-sets: sets equipped with an action of a group .
Groupoids are often used to reason about geometrical objects such as manifolds. Heinrich Brandt (1927) introduced groupoids implicitly via Brandt semigroups.[2]
^Dicks & Ventura (1996). The Group Fixed by a Family of Injective Endomorphisms of a Free Group. p. 6.
^"Brandt semi-group", Encyclopedia of Mathematics, EMS Press, 2001 [1994], ISBN 1-4020-0609-8
homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen...
In mathematics, a Lie groupoid is a groupoid where the set Ob {\displaystyle \operatorname {Ob} } of objects and the set Mor {\displaystyle \operatorname...
In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more...
In mathematics, the Mathieu groupoid M13 is a groupoid acting on 13 points such that the stabilizer of each point is the Mathieu group M12. It was introduced...
partial groupoid (also called halfgroupoid, pargoid, or partial magma) is a set endowed with a partial binary operation. A partial groupoid is a partial...
mathematics, a quantum groupoid is any of a number of notions in noncommutative geometry analogous to the notion of groupoid. In usual geometry, the...
In category theory, a branch of mathematics, a groupoid object is both a generalization of a groupoid which is built on richer structures than sets, and...
{\displaystyle T^{*}M} is not always integrable to a Lie groupoid. A symplectic groupoid is a Lie groupoid G ⇉ M {\displaystyle {\mathcal {G}}\rightrightarrows...
double groupoid generalises the notion of groupoid and of category to a higher dimension. A double groupoid D is a higher-dimensional groupoid involving...
In mathematics, the concept of groupoid algebra generalizes the notion of group algebra. Given a groupoid ( G , ⋅ ) {\displaystyle (G,\cdot )} (in the...
of Lie groupoids that Lie algebras play in the theory of Lie groups: reducing global problems to infinitesimal ones. Indeed, any Lie groupoid gives rise...
Analogous to the fundamental groupoid it is possible to get rid of the choice of a base point and to define a monodromy groupoid. Here we consider (homotopy...
categories fibered in groupoids comes from groupoid objects internal to a category C {\displaystyle {\mathcal {C}}} . So given a groupoid object x ⇉ t s y...
transformations of the 15 puzzle form a groupoid (not a group, as not all moves can be composed); this groupoid acts on configurations. Because the combinations...
differentiated in order to obtain a Lie bialgebroid. A Poisson groupoid is a Lie groupoid (G⇉M) together with a Poisson structure π on G such that the multiplication...
automaton groupoid. Therefore, in the most general case, categories of variable automata of any kind are categories of groupoids or groupoid categories...
a special case of a groupoid include: Whereas the notion of "free equivalence relation" does not exist, that of a free groupoid on a directed graph does...
application is also handled more simply by the use of covering morphisms of groupoids, and that technique has yielded subgroup theorems not yet proved by methods...
cohomology of a smooth manifold is a special example of the groupoid cohomology of a Lie groupoid. This is because given a G {\displaystyle G} -space X {\displaystyle...
stack over differentiable manifolds which admits an atlas, or as a Lie groupoid up to Morita equivalence. Differentiable stacks are particularly useful...
isotropy group is the group of isomorphisms from any object to itself in a groupoid.[dubious – discuss] An isotropy representation is a representation of an...