Homotopy limits in type theory (Q5740649): Difference between revisions

@@ Property / cites work @@
+Types are weak <i>ω</i> -groupoids
@@ Property / cites work: Types are weak <i>ω</i> -groupoids / 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 @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract homotopy theory and generalized sheaf cohomology
+Normal rank
@@ Property / cites work @@
+Homotopy limits, completions and localizations
@@ Property / cites work: Homotopy limits, completions and localizations / rank @@
+Normal rank
@@ Property / cites work @@
+Pull-Backs in Homotopy Theory
@@ Property / cites work: Pull-Backs in Homotopy Theory / 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 @@
+Weak ω-Categories from Intensional Type Theory
@@ Property / cites work: Weak ω-Categories from Intensional Type Theory / rank @@
+Normal rank