nLab n-groupoid

Redirected from "4-groupoid".
Contents

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

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

An nn-groupoid is an

Definitions

In terms of a known notion of (n,r)-category, we can define an nn-groupoid explicitly as an \infty-category such that:

  • every jj-morphism (at any level) is an equivalence;
  • every parallel pair of jj-morphisms is equivalent, for j>nj\gt n.

Or we define an nn-groupoid abstractly as an n-truncated object in the (∞,1)-category ∞Grpd.

The nn-groupoids form an (n+1,1)-category, nGrpd.

Models

As Kan complexes

A general model for ∞-groupoids is provided by Kan complexes (the fibrant objects in the classical model structure on simplicial sets which presents ∞Grpd).

In this context an nn-groupoid in the general sense is modeled by a Kan complex all of whose homotopy groups vanish in degree k>nk \gt n. In this generality one also speaks of a homotopy n n -type or an n n -truncated object of ∞Grpd.

Every such nn-type is equivalent to a “small” model, an (n+1)(n+1)-coskeletal Kan complex (see there): one in which every kk-sphere Δ k+1\partial \Delta^{k+1} for kn+1k \geq n+1 has a unique filler.

Yet a bit smaller than this are Kan complexes that is an nn-hypergroupoid, where in addition to these sphere-fillers also the horn fillers in degree n+1n+1 are unique.

(For 1-groupoids/1-hypergroupoids this situation is further spelled out here).

homotopy leveln-truncationhomotopy theoryhigher category theoryhigher topos theoryhomotopy type theory
h-level 0(-2)-truncatedcontractible space(-2)-groupoidtrue/​unit type/​contractible type
h-level 1(-1)-truncatedcontractible-if-inhabited(-1)-groupoid/​truth value(0,1)-sheaf/​idealmere proposition/​h-proposition
h-level 20-truncatedhomotopy 0-type0-groupoid/​setsheafh-set
h-level 31-truncatedhomotopy 1-type1-groupoid/​groupoid(2,1)-sheaf/​stackh-groupoid
h-level 42-truncatedhomotopy 2-type2-groupoid(3,1)-sheaf/​2-stackh-2-groupoid
h-level 53-truncatedhomotopy 3-type3-groupoid(4,1)-sheaf/​3-stackh-3-groupoid
h-level n+2n+2nn-truncatedhomotopy n-typen-groupoid(n+1,1)-sheaf/​n-stackh-nn-groupoid
h-level \inftyuntruncatedhomotopy type∞-groupoid(∞,1)-sheaf/​∞-stackh-\infty-groupoid

References

Discussion of homotopy n n -types/ n n -truncated objects in homotopy type theory:

Last revised on February 14, 2023 at 14:03:55. See the history of this page for a list of all contributions to it.