nLab omega-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

Contents

Idea

An ω\omega-groupoid is an ∞-category (see there for more details) in which all k-morphisms for all kk \in \mathbb{N} are equivalences.

This is also called an ∞-groupoid. In the literature the term “ω\omega-groupoid” is usually reserved for algebraic models instead of geometric models.

How strict the ω\omega-category and the inverses must be can vary. Somes authors that use the term ‘ω\omega-groupoid’ mean strict ∞-groupoid by default and speak of weak ω\omega-groupoid otherwise.

Last revised on June 4, 2020 at 18:26:26. See the history of this page for a list of all contributions to it.