From d2f845d7982d305022f4313c0faa343ae11693ad Mon Sep 17 00:00:00 2001
From: JJ
Date: Sat, 25 Nov 2023 02:08:46 -0800
Subject: meow

---
 mathematics/abstract-algebra.md | 5 +++++
 mathematics/category-theory.md  | 5 +++++
 mathematics/coding-theory.md    | 6 ++++++
 mathematics/complex-analysis.md | 5 +++++
 mathematics/foundations.md      | 8 ++++++++
 mathematics/lambdas.md          | 5 +++++
 mathematics/linear-algebra.md   | 5 +++++
 mathematics/logic.md            | 5 +++++
 mathematics/proof.md            | 5 +++++
 mathematics/real-analysis.md    | 5 +++++
 mathematics/types.md            | 5 +++++
 11 files changed, 59 insertions(+)
 create mode 100644 mathematics/foundations.md
 create mode 100644 mathematics/lambdas.md
 create mode 100644 mathematics/proof.md
 create mode 100644 mathematics/types.md

(limited to 'mathematics')

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
+---
+
-- 
cgit v1.2.3-70-g09d2