Add a lay summary

tex/lay-summary.tex

+\chapter*{Lay Summary}
+
+In mathematics, geometric spaces can be studied via the vector bundles over them.
+Possibly the most famous example of this is the
+`\href{https://en.wikipedia.org/wiki/Hairy_ball_theorem}{hairy ball Theorem}'
+with the image a hairy ball with `tufts' at each pole.
+In mathematical terms, this is a statement about the existence of a non-vanishing
+section of the tangent bundle of the sphere.
+This can also expressed via a numeric invariant called the `degree', which encodes
+how many points a section must vanish at, or in the case of the hairy ball, how
+many `tufts' you inevitably get when trying to comb it.
+Compare this with a hairy doughnut, which you could comb without any tufts.
+This gives mathematicians a way to distinguish between different spaces, in particular
+by comparing a numerical invariant between their corresponding tangent spaces.
+
+In algebraic geometry, invariants such as these do not completely determine a vector bundle.
+This has led to the construction of `moduli spaces' which parametrise vector bundles with the
+same invariants. However these typically only parametrise a subset of `stable' bundles.
+Somewhat analoguously to introducing complex numbers which can sometimes be used to solve
+problems about real numbers, mathematicians have been moving towards studying a generalisation
+of vector bundles called the `derived category of coherent sheaves'.
+This thesis studies generalisations of the notion of `stable' in this more abstract setting,
+and in particular when different notions of `stable' coincide or differ.

tex/main.tex

@@ -43,6 +43,8 @@ $\nu$-Walls}
 
 	\maketitle
 
+	\import{./}{lay-summary}
+	\addcontentsline{toc}{chapter}{Lay Summary}
 	\import{./}{abstract}
 
 	\declaration