nLab
pointed connected groupoid
Contents
Context
Group Theory
group theory
Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
-Category theory
(∞,1)-category theory
Background
Basic concepts
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
Contents
Definition
A pointed connected groupoid is a groupoid that is pointed and connected.
Under the looping and delooping-equivalence, this is equivalently the delooping groupoid of a group.
In homotopy type theory
In homotopy type theory, a pointed connected groupoid consists of
- A type
- A basepoint
- A 0-connector
- A 1-truncator:
See also
References
Last revised on June 9, 2022 at 16:32:03.
See the history of this page for a list of all contributions to it.