Displayed Categories (Q3121521): Difference between revisions

@@ label / en / label / en @@
+Displayed Categories
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UniMath
@@ Property / describes a project that uses: UniMath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04296
@@ Property / arXiv ID: 1705.04296 / 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 @@
+Q4693062
@@ Property / cites work: Q4693062 / 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 @@
+Displayed Categories
@@ Property / cites work: Displayed Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical structures for type theory in univalent foundations
+Normal rank
@@ Property / cites work @@
+Isomorphism is equality
@@ Property / cites work: Isomorphism is equality / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Local Universes Model
@@ Property / cites work: The Local Universes Model / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank