Univalence for inverse diagrams and homotopy canonicity (Q5740656): Difference between revisions

@@ Property / cites work @@
+Homotopical algebra
@@ Property / cites work: Homotopical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+A coherence theorem for Martin-Löf's type theory
@@ Property / cites work: A coherence theorem for Martin-Löf's type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Uncomplemented C(X)-Subalgebras of C(X)
@@ Property / cites work: Uncomplemented C(X)-Subalgebras of C(X) / rank @@
+Normal rank
@@ Property / cites work @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank
@@ Property / cites work @@
+Reedy categories and the \(\varTheta\)-construction
+Normal rank
@@ Property / cites work @@
+On an extension of the notion of Reedy category
@@ Property / cites work: On an extension of the notion of Reedy category / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely generated free Heyting algebras
@@ Property / cites work: Finitely generated free Heyting algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Théories homotopiques dans les topos. (Homotopy theories in topoi)
+Normal rank
@@ Property / cites work @@
+On the construction of functorial factorizations for model categories
+Normal rank
@@ Property / cites work @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized algebraic theories and contextual categories
+Normal rank
@@ Property / cites work @@
+Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial realizability models of type theory
@@ Property / cites work: Combinatorial realizability models of type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The homotopy category is a homotopy category
@@ Property / cites work: The homotopy category is a homotopy category / rank @@
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank