From e1482cc256e30ffd97e64dbfa63d4bba7e7e3ab5 Mon Sep 17 00:00:00 2001
From: michael <michael@noreply.localhost>
Date: Sat, 4 Jan 2025 07:50:25 +0000
Subject: [PATCH] Update src/ThesisWork/README.md

---
 src/ThesisWork/README.md | 75 ++++++++++++++++++++--------------------
 1 file changed, 38 insertions(+), 37 deletions(-)

diff --git a/src/ThesisWork/README.md b/src/ThesisWork/README.md
index d41209b..8cac657 100644
--- a/src/ThesisWork/README.md
+++ b/src/ThesisWork/README.md
@@ -1,37 +1,38 @@
-# Notes
-
-- Already some existing work by Felix Cherubini (@felixwellen) about spectra here: https://github.com/agda/cubical/pull/723
-
-```mermaid
-%%{init: {"layout": "elk", "flowchart": {"htmlLabels": false}} }%%
-flowchart TB
-    style GradedAbelianGroup fill:skyblue
-    style Prespectrum fill:skyblue
-    style Spectrum fill:skyblue
-    style PointedKernel fill:skyblue
-    style PointedImage fill:skyblue
-    style Exactness fill:skyblue
-
-    GradedAbelianGroup --> ExactCouple
-    GradedAbelianGroup --> SpectralSequence
-    ExactCouple --> DerivedCouple
-
-    PointedKernel --> Exactness
-    PointedImage --> Exactness
-    Exactness --> ExactSequence
-    Exactness --> ChainComplex
-    ChainComplex --> Homology
-    ChainComplex --> CochainComplex
-    CochainComplex --> Cohomology
-    Cohomology --> Theorem5410
-    ExactSequence --> ExactCouple
-    ExactSequence --> Theorem535
-
-    PostnikovTower --> Theorem5410
-    Prespectrum --> Spectrum
-    Spectrum --> nthHomotopyGroupOfSpectrum
-
-    SpectralSequence --> Corollary5411
-    SpectralSequence --> Theorem5410
-    SpectralSequence --> Theorem5412
-```
+# Notes
+
+- Already some existing work by Felix Cherubini (@felixwellen) about spectra here: https://github.com/agda/cubical/pull/723
+
+```mermaid
+%%{init: {"layout": "elk", "flowchart": {"htmlLabels": false}} }%%
+flowchart TB
+    style GradedAbelianGroup fill:skyblue,color:black
+    style Prespectrum fill:skyblue,color:black
+    style Spectrum fill:skyblue,color:black
+    style PointedKernel fill:skyblue,color:black
+    style PointedImage fill:skyblue,color:black
+    style Exactness fill:skyblue,color:black
+    style ChainComplex fill:skyblue,color:black
+
+    GradedAbelianGroup --> ExactCouple
+    GradedAbelianGroup --> SpectralSequence
+    ExactCouple --> DerivedCouple
+
+    PointedKernel --> Exactness
+    PointedImage --> Exactness
+    Exactness --> ExactSequence
+    Exactness --> ChainComplex
+    ChainComplex --> Homology
+    ChainComplex --> CochainComplex
+    CochainComplex --> Cohomology
+    Cohomology --> Theorem5410
+    ExactSequence --> ExactCouple
+    ExactSequence --> Theorem535
+
+    PostnikovTower --> Theorem5410
+    Prespectrum --> Spectrum
+    Spectrum --> nthHomotopyGroupOfSpectrum
+
+    SpectralSequence --> Corollary5411
+    SpectralSequence --> Theorem5410
+    SpectralSequence --> Theorem5412
+```