A type theory for synthetic $\infty$-categories (Q3121017): Difference between revisions

@@ label / en / label / en @@
+A type theory for synthetic $\infty$-categories
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07442
@@ Property / arXiv ID: 1705.07442 / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.CT
@@ Property / arXiv classification: math.CT / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / cites work @@
+Univalent categories and the Rezk completion
@@ Property / cites work: Univalent categories and the Rezk completion / rank @@
+Normal rank
@@ Property / cites work @@
+Fibrations of $\infty$-categories
@@ Property / cites work: Fibrations of $\infty$-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Reedy categories and the \(\varTheta\)-construction
+Normal rank
@@ Property / cites work @@
+Cubical Type Theory: a constructive interpretation of the univalence axiom
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+On a Topological Topos
@@ Property / cites work: On a Topological Topos / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431520
@@ Property / cites work: Q5431520 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
@@ Property / cites work @@
+Yoneda lemma for complete Segal spaces
@@ Property / cites work: Yoneda lemma for complete Segal spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5298124
@@ Property / cites work: Q5298124 / rank @@
+Normal rank
@@ Property / cites work @@
+-Dimensional Directed Type Theory
@@ Property / cites work: 2-Dimensional Directed Type Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Weak omega-categories from intensional type theory
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Yoneda lemma for simplicial spaces
@@ Property / cites work: Yoneda lemma for simplicial spaces / rank @@
+Normal rank
@@ Property / cites work @@
+A model for the homotopy theory of homotopy theory
+Normal rank
@@ Property / cites work @@
+A Cartesian presentation of weak \(n\)-categories
@@ Property / cites work: A Cartesian presentation of weak \(n\)-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy coherent adjunctions and the formal theory of monads
+Normal rank
@@ Property / cites work @@
+Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
+Normal rank
@@ Property / cites work @@
+The univalence axiom for elegant Reedy presheaves
@@ Property / cites work: The univalence axiom for elegant Reedy presheaves / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwer's fixed-point theorem in real-cohesive homotopy type theory
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / rank @@
+Normal rank