path

groupoid · Oct 21, 2023 · 955817a · 955817a
1 parent f059501
commit 955817a
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
@@ -35,7 +35,7 @@
 з різних галузей математики: аналіз, алгебра, геометрія, теорія гомотопій,
 теорія категорій.
 </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>,
-<a href='../mathematics/analysis/real/index.html'>ℝ</a>,</li><li><a href='../mathematics/analysis/complex/index.html'>ℂ</a>,
+<a href='../mathematics/analysis/real/index.html'>ℝ</a></li><li><a href='../mathematics/analysis/complex/index.html'>ℂ</a>,
 <a href='../mathematics/analysis/quatro/index.html'>ℍ</a>,
 <a href='../mathematics/analysis/octo/index.html'>𝕆</a></li></ol></div><div class="macro__col"><h3 id="algebra"><b>ALGEBRA</b></h3><ol><li><a href="../mathematics/algebra/group/index.html">Group</a></li><li><a href="../mathematics/algebra/algebra/index.html">Algebra</a></li><li><a href="../mathematics/algebra/homology/index.html">Homology</a></li></ol></div><div class="macro__col"><h3 id="geometry"><b>GEOMETRY</b></h3><ol><li><a href="../mathematics/geometry/etale/index.html">Etale</a></li><li><a href="../mathematics/geometry/bundle/index.html">Bundle</a></li><li><a href="../mathematics/geometry/manifold/index.html">Manifold</a></li><li><a href="../mathematics/geometry/derham/index.html">de Rham</a></li></ol></div></div></section><section><div class="macro"><div class="macro__col"><h3 id="homotopy"><b>HOMOTOPY</b></h3><ol><li><a href="../mathematics/homotopy/limit/index.html">Limit</a></li><li><a href="../mathematics/homotopy/colimit/index.html">Colimit</a></li><li><a href="../mathematics/homotopy/coeq/index.html">Coequalizer</a></li><li><a href="../mathematics/homotopy/cw/index.html">CW</a></li><li><a href="../mathematics/homotopy/pullback/index.html">Pullback</a></li><li><a href="../mathematics/homotopy/pushout/index.html">Pushout</a></li><li><a href="../mathematics/homotopy/hopf/index.html">Hopf</a></li><li><a href="../mathematics/homotopy/em/index.html">K(G,n)</a></li></ol></div><div class="macro__col"><h3 id="categories"><b>CATEGORIES</b></h3><ol><li><a href="../mathematics/categories/category/index.html">Cagetory</a></li><li><a href="../mathematics/categories/functor/index.html">Functor</a></li><li><a href="../mathematics/categories/groupoid/index.html">Groupoid</a></li><li><a href="../mathematics/categories/presheaf/index.html">Presheaf</a></li><li><a href="../mathematics/categories/topos/index.html">Topos</a></li><li><a href="../mathematics/categories/abelian/index.html">Abelian</a></li></ol></div></div></section><br><p>Базова бібліотека для мови cubicaltt знаходиться на іншій сторінці:
 <a href='https://groupoid.space/misc/library/'>Formal Mathematics:

diff --git a/lib/index.pug b/lib/index.pug
@@ -90,7 +90,7 @@ block content
                             li: <a href='../mathematics/analysis/topology/index.html'>Topology</a>
                             li: <a href='../mathematics/analysis/set/index.html'>Set</a>
                             li: <a href='../mathematics/analysis/rational/index.html'>ℚ</a>,
-                                <a href='../mathematics/analysis/real/index.html'>ℝ</a>,
+                                <a href='../mathematics/analysis/real/index.html'>ℝ</a>
                             li: <a href='../mathematics/analysis/complex/index.html'>ℂ</a>,
                                 <a href='../mathematics/analysis/quatro/index.html'>ℍ</a>,
                                 <a href='../mathematics/analysis/octo/index.html'>𝕆</a>