nLab enriched groupoid

Contents

Contents

Idea

The notion of enriched groupoids is the generalization to enriched category theory of the notion of groupoids from plain category theory.

Definition

Let (𝒱,Γ—,⊀)(\mathcal{V}, \times, \top) be a cartesian monoidal category (serving as an base of enrichment), so that, in particular,

A 𝒱\mathcal{V}-enriched groupoid is a 𝒱\mathcal{V}-enriched category π’ž\mathcal{C} equipped for X,Y∈Obj(π’ž)X, Y \,\in\, Obj(\mathcal{C}) with morphisms (in 𝒱\mathcal{V}) of the form

inv X,Y:π’ž(X,Y)βŸΆπ’ž(Y,X) inv_{X,Y} \;\colon\; \mathcal{C}(X,Y) \longrightarrow \mathcal{C}(Y,X)

which behave like assigning inverse morphisms in that the composition morphisms of π’ž\mathcal{C}

comp X,Y,Z:π’ž(X,Y)βŠ—π’ž(Y,Z)βŸΆπ’ž(Y,Z) comp_{X, Y, Z} \;\colon\; \mathcal{C}(X,Y) \otimes \mathcal{C}(Y,Z) \longrightarrow \mathcal{C}(Y,Z)

satisfy

comp Y,X,Y∘(inv X,YΓ—id π’ž(X,Y))βˆ˜Ξ” π’ž(X,Y)=π’ž(X,Y)⟢⊀⟢id Yπ’ž(Y,Y) comp_{Y,X,Y} \circ \big( inv_{X,Y} \times id_{\mathcal{C}(X,Y)} \big) \circ \Delta_{\mathcal{C}(X,Y)} \;\;=\;\; \mathcal{C}(X,Y) \overset{}{\longrightarrow} \top \overset{id_Y}{\longrightarrow} \mathcal{C}(Y,Y)

and

comp X,Y,X∘(id π’ž(X,Y)Γ—inv X,Y)βˆ˜Ξ” π’ž(X,Y)=π’ž(X,Y)⟢⊀⟢id Xπ’ž(X,X). comp_{X,Y,X} \circ \big( id_{\mathcal{C}(X,Y)} \times inv_{X,Y} \big) \circ \Delta_{\mathcal{C}(X,Y)} \;\;=\;\; \mathcal{C}(X,Y) \overset{}{\longrightarrow} \top \overset{id_X}{\longrightarrow} \mathcal{C}(X,X) \,.

Examples

Example

For Set regarded with its cartesian monoidal structure, Set-enriched groupoids are ordinary groupoids.

Example

For Grpd regarded as a 1-category and equipped with its cartesian monoidal structure given by forming product groupoids, Grpd-enriched groupoids are strict 2-groupoids.

Example

The sSet-enriched groupoids are traditionally misnamed simplicial groupoids (following Dwyer & Kan (1984) and similar abuse for simplicial category), see there for more. More pedantically, sSetsSet-enriched groupoids are only those sSet-internal groupoids whose set of objects is constant, cf. Exp. below.

Moreover, fundamental ∞ \infty -groupoids incarnated as sSet-enriched groupoids aka β€œDwyer-Kan simplicial groupoids” are (mis-)named Dwyer-Kan loop groupoids.

Example

Generally, a 𝒱\mathcal{V}-enriched groupoid with a single object is equivalently the delooping groupoid of a group object internal to 𝒱\mathcal{V}.

For instance, a one-object sSet-groupoid (Exp. ) is the delooping groupoid of a simplicial group.

Example

An internal groupoid in 𝒱\mathcal{V} is equivalently a 𝒱\mathcal{V}-enriched groupoid if its 𝒱\mathcal{V}-object of objects is in the image of the coproduct-preserving functor Set→𝒱Set \to \mathcal{V} (using here the assumption that 𝒱\mathcal{V} is a BΓ©nabou cosmos, hence cocomplete, hence with all coproducts).

References

The notion of enriched groupoids is folklore, originating in the special case of enrichment over sSet, where it is traditionally discussed, going back to Dwyer & Kan (1980), (1984), in the guise of simplicial objects in Grpd with discrete simplicial set of objects and then referred to (inaccurately) as simplicial groupoids (see there for more).

Later

switches to the terminology of enriched groupoids over simplicial sets (but still does not give the definition of enriched groupoids).

References that make the general definition of enriched groupoids explicit:

Last revised on April 27, 2024 at 12:46:48. See the history of this page for a list of all contributions to it.