ericway1024 / hott-typst-dissertation

Synthetic Homotopy Theory

A dissertation submitted for the degree of MSc Mathematical Sciences, University of Oxford. Supervisor: Kobi Kremnitzer.

This project is written in Typst (instead of LaTeX!). To compile and watch:

typst watch main.typ

To see compiled PDF files, please head to Releases.

This dissertation has received a mark of 90/100 and has been awarded the departmental dissertation prize by the Mathematics Institute, University of Oxford.

Acknowledgements

I would like to thank my dissertation supervisor, Prof. Kobi Kremnitzer, for his invaluable guidance, inspirations and encouragement during this journey. I am also greatly indebted, both literally and figuratively, to my parents for their unconditional and unwavering support in my academic pursuit and all other aspects of my life. Lastly, special thanks are due to all my friends who have helped me realise that my genuine mathematical interest lay beyond solving PDEs.