Sequential Colimits in Homotopy Type Theory (Q5145685)
From MaRDI portal
scientific article; zbMATH DE number 7299517
Language | Label | Description | Also known as |
---|---|---|---|
English | Sequential Colimits in Homotopy Type Theory |
scientific article; zbMATH DE number 7299517 |
Statements
Sequential Colimits in Homotopy Type Theory (English)
0 references
21 January 2021
0 references
higher inductive types
0 references
homotopy type theory
0 references
sequential colimits
0 references