A notion of homotopy for the effective topos (Q5740653): Difference between revisions

@@ Property / cites work @@
+Homotopy theoretic models of identity types
@@ Property / cites work: Homotopy theoretic models of identity types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220599
@@ Property / cites work: Q4220599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790109
@@ Property / cites work: Q4790109 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopical algebra
@@ Property / cites work: Homotopical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846803
@@ Property / cites work: Q4846803 / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability. An introduction to its categorical side
+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 @@
+The identity type weak factorisation system
@@ Property / cites work: The identity type weak factorisation system / rank @@
+Normal rank