adjoint

Author: 5HT

lib/index.html

@@ -37,7 +37,7 @@
 </p><section><div class="macro"><div class="macro__col"><h3 id="categories"><b>Аналіз</b></h3><ol><li><a href='../mathematics/analysis/topology/index.html'>Топологія</a></li><li><a href='../mathematics/analysis/set/index.html'>Множини</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/quatro/index.html'>ℍ</a>,
-<a href='../mathematics/analysis/octo/index.html'>𝕆</a></li></ol></div><div class="macro__col"><h3 id="algebra"><b>Алгебра</b></h3><ol><li><a href="../mathematics/algebra/group/index.html">Групи</a></li><li><a href="../mathematics/algebra/algebra/index.html">Алгебра</a></li><li><a href="../mathematics/algebra/homology/index.html">Гомології</a></li></ol></div><div class="macro__col"><h3 id="geometry"><b>Геометрія</b></h3><ol><li><a href="../mathematics/geometry/etale/index.html">Етальні</a></li><li><a href="../mathematics/geometry/bundle/index.html">Пучки</a></li><li><a href="../mathematics/geometry/manifold/index.html">Многовиди</a></li><li><a href="../mathematics/geometry/derham/index.html">де Рам</a></li></ol></div></div></section><section><div class="macro"><div class="macro__col"><h3 id="homotopy"><b>Гомотопії</b></h3><ol><li><a href="../mathematics/homotopy/limit/index.html">Ліміти</a></li><li><a href="../mathematics/homotopy/colimit/index.html">Коліміти</a></li><li><a href="../mathematics/homotopy/coeq/index.html">Коеквалайзери</a></li><li><a href="../mathematics/homotopy/cw/index.html">CW-комплекси</a></li><li><a href="../mathematics/homotopy/pullback/index.html">Пулбеки</a></li><li><a href="../mathematics/homotopy/pushout/index.html">Пушаути</a></li><li><a href="../mathematics/homotopy/hopf/index.html">Хопф</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>Категорії</b></h3><ol><li><a href="../mathematics/categories/category/index.html">Категорії</a></li><li><a href="../mathematics/categories/functor/index.html">Функтори</a></li><li><a href="../mathematics/categories/groupoid/index.html">Групоїди</a></li><li><a href="../mathematics/categories/presheaf/index.html">Досніпи</a></li><li><a href="../mathematics/categories/topos/index.html">Топоси</a></li><li><a href="../mathematics/categories/abelian/index.html">Абелеві</a></li></ol></div></div></section><br><p>Базова бібліотека для мови cubicaltt знаходиться на іншій сторінці:
+<a href='../mathematics/analysis/octo/index.html'>𝕆</a></li></ol></div><div class="macro__col"><h3 id="algebra"><b>Алгебра</b></h3><ol><li><a href="../mathematics/algebra/group/index.html">Групи</a></li><li><a href="../mathematics/algebra/algebra/index.html">Алгебра</a></li><li><a href="../mathematics/algebra/homology/index.html">Гомології</a></li></ol></div><div class="macro__col"><h3 id="geometry"><b>Геометрія</b></h3><ol><li><a href="../mathematics/geometry/etale/index.html">Етальні</a></li><li><a href="../mathematics/geometry/bundle/index.html">Пучки</a></li><li><a href="../mathematics/geometry/manifold/index.html">Многовиди</a></li><li><a href="../mathematics/geometry/derham/index.html">де Рам</a></li></ol></div></div></section><section><div class="macro"><div class="macro__col"><h3 id="homotopy"><b>Гомотопії</b></h3><ol><li><a href="../mathematics/homotopy/limit/index.html">Ліміти</a></li><li><a href="../mathematics/homotopy/colimit/index.html">Коліміти</a></li><li><a href="../mathematics/homotopy/coeq/index.html">Коеквалайзери</a></li><li><a href="../mathematics/homotopy/cw/index.html">CW-комплекси</a></li><li><a href="../mathematics/homotopy/pullback/index.html">Пулбеки</a></li><li><a href="../mathematics/homotopy/pushout/index.html">Пушаути</a></li><li><a href="../mathematics/homotopy/hopf/index.html">Хопф</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>Категорії</b></h3><ol><li><a href="../mathematics/categories/category/index.html">Категорії</a></li><li><a href="../mathematics/categories/functor/index.html">Функтори</a></li><li><a href="../mathematics/categories/adjoint/index.html">Спряження</a></li><li><a href="../mathematics/categories/groupoid/index.html">Групоїди</a></li><li><a href="../mathematics/categories/presheaf/index.html">Паростки</a></li><li><a href="../mathematics/categories/topos/index.html">Топоси</a></li><li><a href="../mathematics/categories/abelian/index.html">Абелеві</a></li></ol></div></div></section><br><p>Базова бібліотека для мови cubicaltt знаходиться на іншій сторінці:
 <a href='https://groupoid.space/misc/library/'>Formal Mathematics:
 The Cubical Base Library</a><br>
 </p></div></article><footer class="footer"><a href="https://5ht.co/license/"><img class="footer__logo" src="https://longchenpa.guru/seal.png" width="50"></a><span class="footer__copy">2021&mdash;2025 &copy; <a rel="me" href="https://mathstodon.xyz/@5ht">Namdak Tönpa</a></span></footer>

lib/index.pug

@@ -125,8 +125,9 @@ block content
                         ol
                             li: a(href='../mathematics/categories/category/index.html') Категорії
                             li: a(href='../mathematics/categories/functor/index.html') Функтори
+                            li: a(href='../mathematics/categories/adjoint/index.html') Спряження
                             li: a(href='../mathematics/categories/groupoid/index.html') Групоїди
-                            li: a(href='../mathematics/categories/presheaf/index.html') Досніпи
+                            li: a(href='../mathematics/categories/presheaf/index.html') Паростки
                             li: a(href='../mathematics/categories/topos/index.html') Топоси
                             li: a(href='../mathematics/categories/abelian/index.html') Абелеві
             br.