iso

groupoid · Oct 30, 2023 · 8c3ed05 · 8c3ed05
1 parent 8078ead
commit 8c3ed05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/index.html b/lib/index.html
@@ -31,7 +31,7 @@
 <a href='../foundations/mltt/id/index.html'>Id</a></li><li><a href='../foundations/mltt/inductive/index.html'>𝟘, 𝟙, 𝟚, W</a></li><li><a href='../foundations/mltt/either/index.html'>Either</a>,
 <a href='../foundations/mltt/maybe/index.html'>Maybe</a></li><li><a href='../foundations/mltt/nat/index.html'>ℕ</a>,
 <a href='../foundations/mltt/list/index.html'>List</a></li><li><a href='../foundations/mltt/fin/index.html'>Fin<sub>ℕ</sub></a>,
-<a href='../foundations/mltt/vec/index.html'>Vec<sub>ℕ</sub></a></li></ol></div><div class="macro__col"><h3 id="univalent"><b>UNIVALENT</b></h3><ol><li><a href="../foundations/univalent/path/index.html">Path</a></li><li><a href="../foundations/univalent/glue/index.html">Glue</a></li><li><a href="../foundations/univalent/equiv/index.html">Equivalence</a></li><li><a href="../foundations/univalent/iso/index.html">Isomorphism</a></li><li><a href="../foundations/univalent/funext/index.html">Homotopy</a></li></ol></div><div class="macro__col"><h3 id="modal"><b>MODAL</b></h3><ol><li><a href="../foundations/modal/modality/index.html">Modality</a></li><li><a href="../foundations/modal/infinitesimal/index.html">Infinitesimal</a></li><li><a href="../foundations/modal/localization/index.html">Localization</a></li><!-- li: a(href='../foundations/modal/process/index.html') Process --></ol></div></div></section><h2>Математики</h2><p>Друга частина базової бібліотеки містить формалізації математичних теорій
+<a href='../foundations/mltt/vec/index.html'>Vec<sub>ℕ</sub></a></li></ol></div><div class="macro__col"><h3 id="univalent"><b>UNIVALENT</b></h3><ol><li><a href="../foundations/univalent/path/index.html">Path</a></li><li><a href="../foundations/univalent/glue/index.html">Glue</a></li><li><a href="../foundations/univalent/equiv/index.html">Equivalence</a></li><li><a href="../foundations/univalent/funext/index.html">Homotopy</a></li><li><a href="../foundations/univalent/iso/index.html">Isomorphism</a></li></ol></div><div class="macro__col"><h3 id="modal"><b>MODAL</b></h3><ol><li><a href="../foundations/modal/modality/index.html">Modality</a></li><li><a href="../foundations/modal/infinitesimal/index.html">Infinitesimal</a></li><li><a href="../foundations/modal/localization/index.html">Localization</a></li><!-- li: a(href='../foundations/modal/process/index.html') Process --></ol></div></div></section><h2>Математики</h2><p>Друга частина базової бібліотеки містить формалізації математичних теорій
 з різних галузей математики: аналіз, алгебра, геометрія, теорія гомотопій,
 теорія категорій.
 </p><section><div class="macro"><div class="macro__col"><h3 id="categories"><b>ANALYSIS</b></h3><ol><li><a href='../mathematics/analysis/topology/index.html'>Topology</a></li><li><a href='../mathematics/analysis/set/index.html'>Set</a></li><li><a href='../mathematics/analysis/rational/index.html'>ℚ</a>,

diff --git a/lib/index.pug b/lib/index.pug
@@ -66,8 +66,8 @@ block content
                             li: a(href='../foundations/univalent/path/index.html') Path
                             li: a(href='../foundations/univalent/glue/index.html') Glue
                             li: a(href='../foundations/univalent/equiv/index.html') Equivalence
-                            li: a(href='../foundations/univalent/iso/index.html') Isomorphism
                             li: a(href='../foundations/univalent/funext/index.html') Homotopy
+                            li: a(href='../foundations/univalent/iso/index.html') Isomorphism
                     .macro__col
                         h3#modal <b>MODAL</b>
                         ol