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

@@ Property / Wikidata QID @@
+Q59757174
@@ Property / Wikidata QID: Q59757174 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3253
@@ Property / arXiv ID: 1203.3253 / rank @@
+Normal rank
@@ 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
@@ Property / Recommended article @@
+Path Categories and Propositional Identity Types
+Normal rank
+Similarity Score: 0.8366281Amount 0.8366281
Unit 1
-Amount
+.8366281
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The univalence axiom for elegant Reedy presheaves
+Normal rank
+Similarity Score: 0.8302572Amount 0.8302572
Unit 1
-Amount
+.8302572
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The simplicial model of univalent foundations (after Voevodsky)
+Normal rank
+Similarity Score: 0.8180487Amount 0.8180487
Unit 1
-Amount
+.8180487
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On a model invariance problem in homotopy type theory
+Normal rank
+Similarity Score: 0.802881Amount 0.802881
Unit 1
-Amount
+.802881
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5278410
@@ Property / Recommended article: Q5278410 / rank @@
+Normal rank
@@ Property / Recommended article: Q5278410 / qualifier @@
+Similarity Score: 0.80236346Amount 0.80236346
Unit 1
-Amount
+.80236346
 Unit
@@ Property / Recommended article: Q5278410 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2969774
@@ Property / Recommended article: Q2969774 / rank @@
+Normal rank
@@ Property / Recommended article: Q2969774 / qualifier @@
+Similarity Score: 0.8021783Amount 0.8021783
Unit 1
-Amount
+.8021783
 Unit
@@ Property / Recommended article: Q2969774 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4611379
@@ Property / Recommended article: Q4611379 / rank @@
+Normal rank
@@ Property / Recommended article: Q4611379 / qualifier @@
+Similarity Score: 0.8015433Amount 0.8015433
Unit 1
-Amount
+.8015433
 Unit
@@ Property / Recommended article: Q4611379 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Natural models of homotopy type theory
@@ Property / Recommended article: Natural models of homotopy type theory / rank @@
+Normal rank
+Similarity Score: 0.80058926Amount 0.80058926
Unit 1
-Amount
+.80058926
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Topological and Simplicial Models of Identity Types
+Normal rank
+Similarity Score: 0.79613423Amount 0.79613423
Unit 1
-Amount
+.79613423
 Unit
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5740656