On Small Types in Univalent Foundations (Q6135756)
From MaRDI portal
scientific article; zbMATH DE number 7731919
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Small Types in Univalent Foundations |
scientific article; zbMATH DE number 7731919 |
Statements
On Small Types in Univalent Foundations (English)
0 references
26 August 2023
0 references
univalent foundations
0 references
homotopy type theory
0 references
HoTT/UF
0 references
constructive mathematics
0 references
predicative mathematics
0 references
propositional resizing
0 references
type universes
0 references
order theory
0 references
complete posets
0 references
set quotients
0 references
propositional truncations
0 references
set replacement
0 references
ordinals
0 references
0 references
