less than 1 minute read

The most recent draft of my dissertation is now uploaded at https://notes.eutro.dev/cs/diss/output/writeup-2026-05-15.pdf. In the past couple of days I have written some more of the final theorems about univalence of the envelope and oblique duploids, and made minor revisions to the unital magmoids chapter. I have revised some of the background chapter and introduction, but more revision is still due.

I am likely still missing some theorems here and there, and I am quite a few pages over the limit already, even without some necessary prose that still needs to be (re)written. The pruning and revision necessary to bring me under the limit, and of course to a more coherent paper, will require a thorough read-through and of the whole paper, that I intend to make a start on this weekend. There are also definitely grammar mistakes and typos that I feel the need to apologise for.

Updated: