Internal sums for synthetic fibered \((\infty,1)\)-categories
DOI10.1016/J.JPAA.2024.107659MaRDI QIDQ6496511
Jonathan Maximilian Lajos Weinberger
Publication date: 3 May 2024
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
homotopy type theoryextensivityBeck-Chevalley conditionCartesian fibrations\((\infty, 1)\)-categoriessimplicial type theory
Fibered categories (18D30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Simplicial sets, simplicial objects (18N50) Type theory (03B38) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) Extensive, distributive, and adhesive categories (18B50)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A model of type theory in simplicial sets. A brief introduction to Voevodsky's homotopy type theory
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Introduction to extensive and distributive categories
- Categorical logic and type theory
- Fibrations in \(\infty\)-category theory
- Lax colimits and free fibrations in \(\infty\)-categories
- Quasi-categories and Kan complexes
- Univalence and completeness of Segal objects
- Cartesian fibrations and representability
- Towards a directed homotopy type theory
- Yoneda lemma for complete Segal spaces
- Lax Monoidal Fibrations
- A type theory for synthetic $\infty$-categories
- Elements of ∞-Category Theory
- Homotopy theoretic models of identity types
- Fibered categories and the foundations of naive category theory
- A model for the homotopy theory of homotopy theory
- Higher Categories and Homotopical Algebra
- An introduction to univalent foundations for mathematicians
- Segal objects and the Grothendieck construction
- [https://portal.mardi4nfdi.de/wiki/Publication:5040431 A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects]
- Triposes as a generalization of localic geometric morphisms
- A Constructive Model of Directed Univalence in Bicubical Sets
- Homotopy Type Theory: The Logic of Space
- Infinity category theory from scratch
- Homotopy Type Theory: Univalent Foundations of Mathematics
- 2-Dimensional Directed Type Theory
- Higher Structures in Homotopy Type Theory
This page was built for publication: Internal sums for synthetic fibered \((\infty,1)\)-categories
