summaryrefslogtreecommitdiff
path: root/mathematics
diff options
context:
space:
mode:
Diffstat (limited to 'mathematics')
-rw-r--r--mathematics/abstract-algebra.md5
-rw-r--r--mathematics/category-theory.md5
-rw-r--r--mathematics/coding-theory.md6
-rw-r--r--mathematics/complex-analysis.md5
-rw-r--r--mathematics/foundations.md8
-rw-r--r--mathematics/lambdas.md5
-rw-r--r--mathematics/linear-algebra.md5
-rw-r--r--mathematics/logic.md5
-rw-r--r--mathematics/proof.md5
-rw-r--r--mathematics/real-analysis.md5
-rw-r--r--mathematics/types.md5
11 files changed, 59 insertions, 0 deletions
diff --git a/mathematics/abstract-algebra.md b/mathematics/abstract-algebra.md
index d58cb53..c2446cd 100644
--- a/mathematics/abstract-algebra.md
+++ b/mathematics/abstract-algebra.md
@@ -1,3 +1,8 @@
+---
+layout: algebra
+title: mathematics/algebra/abstract algebra
+---
+
# various notes on topics in abstract algebra
## groups
diff --git a/mathematics/category-theory.md b/mathematics/category-theory.md
index e69de29..19100a7 100644
--- a/mathematics/category-theory.md
+++ b/mathematics/category-theory.md
@@ -0,0 +1,5 @@
+---
+layout: foundations
+title: mathematics/foundations/category theory
+---
+
diff --git a/mathematics/coding-theory.md b/mathematics/coding-theory.md
index e69de29..f809ff4 100644
--- a/mathematics/coding-theory.md
+++ b/mathematics/coding-theory.md
@@ -0,0 +1,6 @@
+---
+layout: algebra
+title: mathematics/algebra/coding theory
+---
+
+# coding theory
diff --git a/mathematics/complex-analysis.md b/mathematics/complex-analysis.md
index e69de29..26e1ff0 100644
--- a/mathematics/complex-analysis.md
+++ b/mathematics/complex-analysis.md
@@ -0,0 +1,5 @@
+---
+layout: analysis
+title: mathematics/analysis/complex analysis
+---
+
diff --git a/mathematics/foundations.md b/mathematics/foundations.md
new file mode 100644
index 0000000..8b16600
--- /dev/null
+++ b/mathematics/foundations.md
@@ -0,0 +1,8 @@
+---
+layout: foundations
+title: mathematics/foundations
+---
+
+# foundations
+
+There is broad overlap in...
diff --git a/mathematics/lambdas.md b/mathematics/lambdas.md
new file mode 100644
index 0000000..1c93818
--- /dev/null
+++ b/mathematics/lambdas.md
@@ -0,0 +1,5 @@
+---
+layout: foundations
+title: mathematics/foundations/lambdas
+---
+
diff --git a/mathematics/linear-algebra.md b/mathematics/linear-algebra.md
index fbd4a63..5fe2210 100644
--- a/mathematics/linear-algebra.md
+++ b/mathematics/linear-algebra.md
@@ -1 +1,6 @@
+---
+layout: algebra
+title: mathematics/algebra/linear algebra
+---
+
# Linear Algebra
diff --git a/mathematics/logic.md b/mathematics/logic.md
index 8068751..020a6e0 100644
--- a/mathematics/logic.md
+++ b/mathematics/logic.md
@@ -1,3 +1,8 @@
+---
+layout: mathematics
+title: mathematics/foundations/logic
+---
+
# sparse notes on logic, mathematics, and that around and in between
## kinds of logic
diff --git a/mathematics/proof.md b/mathematics/proof.md
new file mode 100644
index 0000000..170026b
--- /dev/null
+++ b/mathematics/proof.md
@@ -0,0 +1,5 @@
+---
+layout: mathematics
+title: mathematics/foundations/proof
+---
+
diff --git a/mathematics/real-analysis.md b/mathematics/real-analysis.md
index e69de29..9c0b134 100644
--- a/mathematics/real-analysis.md
+++ b/mathematics/real-analysis.md
@@ -0,0 +1,5 @@
+---
+layout: analysis
+title: mathematics/analysis/real analysis
+---
+
diff --git a/mathematics/types.md b/mathematics/types.md
new file mode 100644
index 0000000..577e610
--- /dev/null
+++ b/mathematics/types.md
@@ -0,0 +1,5 @@
+---
+layout: foundations
+title: mathematics/foundations/types
+---
+