scientific article; zbMATH DE number 7806740
arXiv2105.01724MaRDI QIDQ6198048
No author found.
Publication date: 20 February 2024
Full work available at URL: https://arxiv.org/abs/2105.01724
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
homotopy type theorySegal spacesCartesian fibrations\((\infty,1)\)-categoriesRezk spacessimplicial type theory
Fibered categories (18D30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Simplicial sets, simplicial objects (18N50) Internal categories and groupoids (18D40) Type theory (03B38) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Localizations (e.g., simplicial localization, Bousfield localization) (18N55) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45) Formal category theory (18D70)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Adding inverses to diagrams. II: Invertible homotopy theories are spaces
- Fibrations in \(\infty\)-category theory
- Lax colimits and free fibrations in \(\infty\)-categories
- Simplicial methods for higher categories. Segal-type models of weak \(n\)-categories
- Quasi-categories and Kan complexes
- Quasi-categories vs. Segal spaces: Cartesian edition
- Towards a directed homotopy type theory
- Yoneda lemma for complete Segal spaces
- The 2-category theory of quasi-categories
- Bousfield-Segal spaces
- A type theory for synthetic $\infty$-categories
- Elements of ∞-Category Theory
- Cosmoi of Internal Categories
- On a Topological Topos
- A model for the homotopy theory of homotopy theory
- Cubical Type Theory: a constructive interpretation of the univalence axiom
- The Homotopy Theory of (∞,1)-Categories
- Higher Categories and Homotopical Algebra
- Local fibred right adjoints are polynomial
- [https://portal.mardi4nfdi.de/wiki/Publication:5040431 A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects]
- A Constructive Model of Directed Univalence in Bicubical Sets
- Modalities in homotopy type theory
- Infinity category theory from scratch
- Higher Topos Theory (AM-170)
- 2-Dimensional Directed Type Theory
- The univalence axiom for elegant Reedy presheaves
- Could ∞-Category Theory Be Taught to Undergraduates?
- Higher Structures in Homotopy Type Theory
This page was built for publication:
