The General Universal Property of the Propositional Truncation (Q5277974)
From MaRDI portal
scientific article; zbMATH DE number 6744288
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The General Universal Property of the Propositional Truncation |
scientific article; zbMATH DE number 6744288 |
Statements
12 July 2017
0 references
coherence conditions
0 references
propositional truncation
0 references
Reedy limits
0 references
universal property
0 references
well-behaved constancy
0 references
math.LO
0 references
