Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511)
From MaRDI portal
scientific article; zbMATH DE number 7842164
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Internal sums for synthetic fibered \((\infty,1)\)-categories |
scientific article; zbMATH DE number 7842164 |
Statements
Internal sums for synthetic fibered \((\infty,1)\)-categories (English)
0 references
3 May 2024
0 references
Cartesian fibrations
0 references
Beck-Chevalley condition
0 references
extensivity
0 references
\((\infty, 1)\)-categories
0 references
homotopy type theory
0 references
simplicial type theory
0 references
