Dependent products and 1-inaccessible universes (Q5854448)
From MaRDI portal
scientific article; zbMATH DE number 7323980
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dependent products and 1-inaccessible universes |
scientific article; zbMATH DE number 7323980 |
Statements
17 March 2021
0 references
higher categories
0 references
higher toposes
0 references
elementary higher toposes
0 references
Grothendieck universes
0 references
large cardinals
0 references
dependent products
0 references
dependent sums
0 references
classifiers
0 references
generic morphisms
0 references
math.CT
0 references
math.LO
0 references
