Martin-Löf complexes (Q385803): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03G30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 18G55 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 55U40 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6237620 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Martin-Löf complex | |||
| Property / zbMATH Keywords: Martin-Löf complex / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
homotopy type theory | |||
| Property / zbMATH Keywords: homotopy type theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
1-truncation | |||
| Property / zbMATH Keywords: 1-truncation / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Quillen model structure | |||
| Property / zbMATH Keywords: Quillen model structure / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
groupoids | |||
| Property / zbMATH Keywords: groupoids / rank | |||
Normal rank | |||
Revision as of 12:50, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Martin-Löf complexes |
scientific article |
Statements
Martin-Löf complexes (English)
0 references
11 December 2013
0 references
Martin-Löf complex
0 references
homotopy type theory
0 references
1-truncation
0 references
Quillen model structure
0 references
groupoids
0 references
