The notion of enriched groupoids is the generalization to enriched category theory of the notion of groupoids from plain category theory.
Let be a cartesian monoidal category (serving as an base of enrichment), so that, in particular,
the tensor unit is a terminal object ,
for each object there is a diagonal morphism
A -enriched groupoid is a -enriched category equipped for with morphisms (in ) of the form
which behave like assigning inverse morphisms in that the composition morphisms of
satisfy
and
For Set regarded with its cartesian monoidal structure, Set-enriched groupoids are ordinary groupoids.
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.
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, -enriched groupoids are only those sSet-internal groupoids whose set of objects is constant, cf. Exp. below.
Moreover, fundamental -groupoids incarnated as sSet-enriched groupoids aka βDwyer-Kan simplicial groupoidsβ are (mis-)named Dwyer-Kan loop groupoids.
Generally, a -enriched groupoid with a single object is equivalently the delooping groupoid of a group object internal to .
For instance, a one-object sSet-groupoid (Exp. ) is the delooping groupoid of a simplicial group.
An internal groupoid in is equivalently a -enriched groupoid if its -object of objects is in the image of the coproduct-preserving functor (using here the assumption that is a BΓ©nabou cosmos, hence cocomplete, hence with all coproducts).
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:
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini, Β§3 in: Elementary fibrations of enriched groupoids, Mathematical Structures in Computer Science 31 9 (2021) 958-978 [doi:10.1017/S096012952100030X]
(discussed as categorical semantics for homotopy type theory)
Last revised on April 27, 2024 at 12:46:48. See the history of this page for a list of all contributions to it.