The long exact sequence of homotopy <i>n</i>-groups (Q6149949)
From MaRDI portal
scientific article; zbMATH DE number 7813365
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The long exact sequence of homotopy <i>n</i>-groups |
scientific article; zbMATH DE number 7813365 |
Statements
The long exact sequence of homotopy <i>n</i>-groups (English)
0 references
5 March 2024
0 references
homotopy type theory
0 references
univalent foundations
0 references
higher groups
0 references
long exact sequence
0 references
