![[CleanShot 2025-12-02 at [email protected]]] **Jacob Hume** and Pietro Liò (2025). [On the Sheafification of Higher-Order Message Passing](https://www.arxiv.org/pdf/2509.23020). Essay submitted in partial fulfillment of the requirements of <em style="color: inherit !important;">Part III of the Mathematical Tripos</em> at the University of Cambridge.