Update README.md

README.md

@@ -74,3 +74,34 @@ To execute tests for the library, install the project dependencies once:
 Then, the tests can be executed:
 
     npm test
+ * [Foundations of Mathematics](#foundations-of-mathematics)
+        * [Set Theory](#set-theory)
+        * [Logic](#logic)
+        * [Category Theory](#category-theory)
+        * [Homotopy Type Theory](#homotopy-type-theory)
+        * [Surreal Numbers](#surreal-numbers)
+    * [Number Theory](#number-theory)
+        * [Algebraic Number Theory](#algebraic-number-theory)
+        * [Analytic Number Theory](#analytic-number-theory)
+    * [Algebra](#algebra)
+        * [Abstract Algebra](#abstract-algebra)
+        * [Group Theory](#group-theory)
+        * [Linear Algebra](#linear-algebra)
+        * [Ring Theory](#ring-theory)
+        * [Galois Theory](#galois-theory)
+        * [Lie Algebras](#lie-algebras)
+    * [Combinatorics](#combinatorics)
+        * [Graph Theory](#graph-theory)
+    * [Geometry and Topology](#geometry-and-topology)
+        * [Differential Geometry](#differential-geometry)
+        * [Algebraic Geometry](#algebraic-geometry)
+        * [Topology](#topology)
+        * [Algebraic Topology](#algebraic-topology)
+    * [Analysis](#analysis)
+        * [Real Analysis](#real-analysis)
+        * [Harmonic Analysis](#harmonic-analysis)
+        * [Complex Analysis](#complex-analysis)
+        * [Functional Analysis](#functional-analysis)
+        * [Measure Theory](#measure-theory)
+        * [Ordinary Differential Equations](#ordinary-differential-equations)
+        * [Partial Differential Equations](#partial-differential-equations)