nLab free groupoid

Redirected from "free groupoids".
Contents

Context

Category theory

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

Idea

The free groupoid on a directed graph is the groupoid whose objects are the vertices of the graph and whose morphisms are finite concatenations of the edges in the graph and formal inverses to them.

This construction is the left adjoint free construction to the forgetful functor that sends a groupoid to its underlying directed graph.

More generally, there is a free groupoid construction on (small) strict categories, given by freely adjoining inverse morphisms to all existing non-invertible morphisms, and the free groupoid on a directed graph is the pre-composition of that operation with the free category-construction on the graph:

Grpd smll strctU GrpdF GrpdCat smll strctU CatF CatDiGrph Grpd^{strct}_{smll} \underoverset {\underset{U_{Grpd}}{\longrightarrow}} {\overset{F_{Grpd}}{\longleftarrow}} {\;\;\bot\;\;\;} Cat^{strct}_{smll} \underoverset {\underset{U_{Cat}}{\longrightarrow}} {\overset{F_{Cat}}{\longleftarrow}} {\;\;\bot\;\;\;} DiGrph

(Incidentally, the forgetful functor F:Cat smll strctGrpd smll strctF \,\colon\,Cat^{strct}_{smll} \longrightarrow Grpd^{strct}_{smll} also has a right adjoint, known as the core-construction).

Definition

Given a graph DD, that is, a collection of vertices and of labeled arrows between them, the free groupoid G(D)G(D) on DD is the groupoid that has the vertices of DD as objects, and whose morphisms are constructed recursively by formal composition (i.e., juxtaposition) from identity maps, the arrows of DD and formal inverses for the arrows of DD.

The only relations between morphisms of G(D)G(D) are the necessary ones defining the identity of each object, the inverse of each arrow in DD and the associativity of composition. This is clearly a groupoid, which comes with an evident morphism DG(D)D \to G(D) of quivers.

The above sketched construction could be made more precise, but what really matters is the universal property it enjoys: the free groupoid G(D)G(D) is the universal (initial) groupoid mapping out of DD. By varying DD, the free groupoid yields a functor GG from directed graphs to groupoids, left adjoint to the forgetful functor.

This last conceptual characterization is best taken as the definition. Similarly, it is possible to construct the left adjoint to the forgetful functor from groupoids to categories, that is the free groupoid over a category.

The construction of free groupoids in “Topology and Groupoids” is by taking a disjoint union of copies of the unit interval groupoid I\mathbf I and then identifying the vertices according to the scheme given by the directed graph.

See the paper by Crisp and Paris for an application of free groupoids.

Properties

Fundamental group

Proposition

The fundamental group of a free groupoid on a countable directed graph (for any basepoint) is a free group.

For instance (Cote, theorem 2.3).

Example

The fundamental group of the free groupoid of a graph with a single vertex is the free group on the set of edges of the graph. A result relevant to the Jordan Curve Theorem and the Phragmen-Brouwer Property is given in the Corrigendum referenced below. It gives conditions on a pushout of groupoids to contain a free groupoid as a retract.

References

On the construction of free groupoids on a graph:

On the construction of free groupoids on a category (localization at all morphisms):

and in the generality of sSet-enriched categories and sSet-enriched groupoids (“simplicial groupoids”):

See also:

  • Lauren Cote, Free groups and graphs: the Hanna Neumann theorem (2008) [pdf]

  • Ronnie Brown, Topology and Groupoids (2006) [web]

  • Omar Antolin Camarena and Ronnie Brown, “Corrigendum to ”Groupoids, the Phragmen-Brouwer Property, and the Jordan Curve Theorem“, J. Homotopy and Related Structures 1 (2006) 175-183.” J. Homotopy and Related Structures (pdf)

  • J. Crisp, L. Paris, The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group, Invent. math. 145, 19–36 (2001).

Last revised on May 31, 2023 at 18:54:29. See the history of this page for a list of all contributions to it.