Create Lent 2024 courses

.github/workflows/compile.yml

@@ -240,6 +240,24 @@ jobs:
           args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build
           root_file: iii/mtncl/main.tex
 
+      - name: Compile Group Cohomology
+        uses: xu-cheng/latex-action@v2
+        with:
+          args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build
+          root_file: iii/gc/main.tex
+
+      - name: Compile Large Cardinals
+        uses: xu-cheng/latex-action@v2
+        with:
+          args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build
+          root_file: iii/lc/main.tex
+
+      - name: Compile Forcing and the Continuum Hypothesis
+        uses: xu-cheng/latex-action@v2
+        with:
+          args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build
+          root_file: iii/forcing/main.tex
+
       - name: Compile IA book
         uses: xu-cheng/latex-action@v2
         with:
@@ -363,6 +381,15 @@ jobs:
       - name: Convert Model Theory and Non-Classical Logic to HTML
         run: ./pdf2htmlEX.AppImage iii/mtncl/build/main.pdf iii_mtncl.html --data-dir pdf2htmlEX --zoom 3
 
+      - name: Convert Group Cohomology to HTML
+        run: ./pdf2htmlEX.AppImage iii/gc/build/main.pdf iii_gc.html --data-dir pdf2htmlEX --zoom 3
+
+      - name: Convert Large Cardinals to HTML
+        run: ./pdf2htmlEX.AppImage iii/lc/build/main.pdf iii_lc.html --data-dir pdf2htmlEX --zoom 3
+
+      - name: Convert Forcing and the Continuum Hypothesis to HTML
+        run: ./pdf2htmlEX.AppImage iii/forcing/build/main.pdf iii_forcing.html --data-dir pdf2htmlEX --zoom 3
+
       - name: Convert IA book to HTML
         run: ./pdf2htmlEX.AppImage ia/book/build/main.pdf ia_book.html --data-dir pdf2htmlEX --zoom 3
 

cmd/files.go

@@ -39,6 +39,9 @@ var Files []TexFile = []TexFile{
 	{FilePath: "iii/alggeom", Name: "Algebraic Geometry"},
 	{FilePath: "iii/mtncl", Name: "Model Theory and Non-Classical Logic"},
 	{FilePath: "iii/cat", Name: "Category Theory"},
+	{FilePath: "iii/gc", Name: "Group Cohomology"},
+	{FilePath: "iii/lc", Name: "Large Cardinals"},
+	{FilePath: "iii/forcing", Name: "Forcing and the Continuum Hypothesis"},
 }
 
 var BookFiles []TexFile = []TexFile{
@@ -53,6 +56,7 @@ var BookFiles []TexFile = []TexFile{
 	{FilePath: "ii/vol5", Name: "Volume 5"},
 	{FilePath: "ii/vol6", Name: "Volume 6"},
 	{FilePath: "iii/vol7", Name: "Volume 7"},
+	{FilePath: "iii/vol8", Name: "Volume 8"},
 }
 
 var FilesWithBook []TexFile

iii/book/main.tex

@@ -5,5 +5,8 @@
 \input{../commalg/import.tex}
 \input{../alggeom/import.tex}
 \input{../mtncl/import.tex}
+\input{../gc/import.tex}
+\input{../lc/import.tex}
+\input{../forcing/import.tex}
 
 \end{document}

iii/forcing/import.tex

@@ -0,0 +1,6 @@
+\chapter[Forcing and the Continuum Hypothesis \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ R.\ Matthews}}}]{Forcing and the Continuum Hypothesis}
+\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ R.\ Matthews}}
+
+(Course description goes here.)
+
+\subfile{../../iii/forcing/main.tex}

iii/forcing/main.tex

@@ -0,0 +1,16 @@
+\documentclass{article}
+
+\usepackage{../../util}
+
+\title{Forcing and the Continuum Hypothesis}
+\author{Cambridge University Mathematical Tripos: Part III}
+
+\begin{document}
+\maketitle
+
+\tableofcontentsnewpage{}
+
+% \section{Definitions and examples}
+% \input{01_definitions_and_examples.tex}
+
+\end{document}

iii/gc/import.tex

@@ -0,0 +1,6 @@
+\chapter[Group Cohomology \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ C.\ J.\ B.\ Brookes}}}]{Group Cohomology}
+\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ C.\ J.\ B.\ Brookes}}
+
+(Course description goes here.)
+
+\subfile{../../iii/gc/main.tex}

iii/gc/main.tex

@@ -0,0 +1,16 @@
+\documentclass{article}
+
+\usepackage{../../util}
+
+\title{Group Cohomology}
+\author{Cambridge University Mathematical Tripos: Part III}
+
+\begin{document}
+\maketitle
+
+\tableofcontentsnewpage{}
+
+% \section{Definitions and examples}
+% \input{01_definitions_and_examples.tex}
+
+\end{document}

iii/lc/import.tex

@@ -0,0 +1,6 @@
+\chapter[Large Cardinals \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Prof.\ B.\ L\"owe}}}]{Large Cardinals}
+\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ B.\ L\"owe}}
+
+(Course description goes here.)
+
+\subfile{../../iii/lc/main.tex}

iii/lc/main.tex

@@ -0,0 +1,16 @@
+\documentclass{article}
+
+\usepackage{../../util}
+
+\title{Large Cardinals}
+\author{Cambridge University Mathematical Tripos: Part III}
+
+\begin{document}
+\maketitle
+
+\tableofcontentsnewpage{}
+
+% \section{Definitions and examples}
+% \input{01_definitions_and_examples.tex}
+
+\end{document}

iii/vol8/main.tex

@@ -0,0 +1,8 @@
+\newcommand{\volname}{Volume 8}
+\input{../../book_template.tex}
+
+\input{../gc/import.tex}
+\input{../lc/import.tex}
+\input{../forcing/import.tex}
+
+\end{document}