(This article is about the notion prevalent in category theory and homotopy theory, also known as a Brandt groupoid. For the notion involving a globally defined binary operation, see magma.)
A small groupoid consists of a
equipped with the following structure maps:
A multiplication or composition map , usually denoted as for , which satisfies
A groupoid is called tame if its cardinality is finite.
If are objects (also called vertices) of the groupoid then the set of morphisms (also called arrows) from to is written , or other notations for hom-sets. The set (which is a group under composition) is also written and called the vertex group of at . It is also written and called the automorphism group of in , or written and called the fundamental group of at (especially if you think of a groupoid as giving a homotopy 1-type).
As in any category, there is a question of notation for the composition, and in particular of the order in which to write things. It can be more convenient to write the composition of and as , although a more traditional notation would be . The two conventions can be distinguished by writing or (which is the most traditional notation for categories). See composition for further discussion.
A groupoid is connected, or transitive?, if is nonempty for all ; it is called inhabited?, or nonempty, if it has at least one object. A maximal inhabited connected subgroupoid? of is called a component of , and is then the disjoint union (the coproduct in ) of its connected components. The set of components of is written (especially if you think of a groupoid as giving a homotopy 1-type).
Any group gives rise to a groupoid, sometimes denoted but often conflated with itself, which has exactly one object and with . That is, there is an inclusion of categories , and this functor has a left adjoint, giving the universal group of a groupoid. Any inhabited connected groupoid is equivalent to one arising in this way.
A disjoint union of (the one-object groupoids corresponding to) groups is naturally a groupoid, also called a bundle of groups. The axiom of choice is equivalent to the claim that any groupoid is equivalent to one of this form.
From any action of a group on a set we obtain an action groupoid or “weak quotient” . This is also written , a semidirect product, since it is a special case of the semidirext product of an action of a groupoid on a groupoid. If this gives the groupoid , above.
A setoid, that is a set equipped with an equivalence relation , becomes a groupoid with the multiplication for all . (This gives one reason for the forward notation for composition.) Such a groupoid is equivalent to the discrete category on the quotient set .
In particular, if is the universal relation , then we get the square groupoid? , also called the trivial groupoid? on . Despite the latter name, there is an important special case, namely the groupoid . This groupoid has non-identity elements , and can be regarded as a groupoid model of the unit interval in topology.
Any topological space has a fundamental groupoid whose objects are the points of and whose arrows are (homotopy classes rel end points of of) paths, with composition by concatenation of paths. Note that is the set of path components of , and for any , is the fundamental group of with basepoint . In theory one can obtain the higher homotopy groups in this way as well, by generalizing from the fundamental groupoid to the fundamental infinity-groupoid.
More generally, if we choose some subset of the points of a space , then we have a full subgroupoid of containing only those points in , denoted . This can result in much more manageable groupoids; for instance is the groupoid considered above, while has uncountably many objects (but is equivalent to ).
If is a directed graph or quiver, then the free groupoid is well defined. It is the left adjoint functor to the forgetful functor from groupoids to directed graphs. This shows an advantage of groupoids: the notion of free equivalence relation or free action groupoid does not easily make sense. But we can still talk of a presentation of an equivalence relation or action groupoid by generators and relations, by considering presentations of groupoids instead.
Mike: It’s not clear to me that the notion of “free equivalence relation” doesn’t make sense. Can’t I talk about a left adjoint to the forgetful functor from equivalence relations to, say, directed graphs? Maybe sets-equipped-with-a-binary-relation would be more appropriate, but either one works fine.
Ronnie: Are you sure this forgetful functor equivalence relations to directed graphs has a left adjoint? Suppose the directed graph has one vertex and one loop . The free groupoid on is the group of integers, which as a groupoid is not an equivalence relation.
Toby: But there is still a free setoid (set equipped with an equivalence relation) on ; it is the point. As a groupoid, it is not the same as the free groupoid on , although it is the same as the free setoid on the free groupoid on . If there's an advantage to working with groupoids, perhaps it's that the free groupoid functor preserves distinctions that the free setoid functor forgets? (In this case, a distinction preserved or forgotten is that between and the point, which as a graph does not have .)
A paper by Živaljević gives examples of groupoids used in combinatorics.
The book “Topology and Groupoids” listed below takes the view that 1-dimensional homotopy theory, including the Seifert-van Kampen Theorem, the theory of covering spaces, and the less well known theory of the fundamental group(oid) of an orbit space by a discontinuous group action, is best presented using the notion of groupoid rather than group as basic. This had led in the 1960s to the question of the prospective use of (strict) groupoids in higher homotopy theory. One answer is given in the book Nonabelian algebraic topology discussed elsewhere on the nlab.
The objects of the groupoids are the 0-simplices and the morphisms of the groupoid are the 1-simplices of the Kan complex. The composition operation in the grouopoid is encoded in the 2-simplices of the Kan complex
The associativity condition on the composition is exhibited by the 3-coskeleton-property of the Kan complex. This says that every simplicial 2-sphere in the Kan complex has a unique filler. With the above identification of 2-simplices with composition operations, this means that the 2 ways
of composing a sequence of three composable morphisms are equal
For handling just groupoids exclusively their description in terms of Kan complexes may be a bit of an overkill, but the advantage is that it embeds groupoids naturally in the more general context of 2-groupoids, 3-groupoids and eventually ∞-groupoids. For instance a pseudo-functor out of an ordinary groupoid into a 2-groupoid is simply a homomorphism of the corresponding Kan complexes.
The disadvantage of the simplicial approach is the difficulty of describing multiple compositions in higher dimensions, an important idea which is quite conveniently handled cubically.
|homotopy level||n-truncation||homotopy theory||higher category theory||higher topos theory||homotopy type theory|
|h-level 0||(-2)-truncated||contractible space||(-2)-groupoid||true/unit type/contractible type|
|h-level 1||(-1)-truncated||contractible-if-inhabited||(-1)-groupoid/truth value||(0,1)-sheaf/ideal||mere proposition/h-proposition|
|h-level 2||0-truncated||homotopy 0-type||0-groupoid/set||sheaf||h-set|
|h-level 3||1-truncated||homotopy 1-type||1-groupoid/groupoid||(2,1)-sheaf/stack||h-groupoid|
|h-level 4||2-truncated||homotopy 2-type||2-groupoid||(3,1)-sheaf/2-stack||h-2-groupoid|
|h-level 5||3-truncated||homotopy 3-type||3-groupoid||(4,1)-sheaf/3-stack||h-3-groupoid|
A page Groupoids in Mathematics by Ronnie Brown includes the introductory text
Technical discussion is for instance in the following references.
Philip Higgins, Presentations of Groupoids, with Applications to Groups, Proc. Camb. Phil. Soc., 60 (1964) 7–20.
Rade T. Živaljević, Groupoids in combinatorics—applications of a theory of local symmetries. Algebraic and geometric combinatorics, 305–324, Contemp. Math., 423, Amer. Math. Soc., Providence, RI, 2006.