Thesis Presentation

Posted on by Owen Lynch

I will present my master’s thesis on July 5th at 5:15pm CEST. That’s 8:15am West Coast time, 11:15am East Coast time, and 4:15pm British time.

Applied category theory is a field of mathematics that has opened up over the last decade and provides new ideas for how to formalize the composition of systems within science and engineering. In this thesis, we take methods from applied category theory and use them to formalize the composition of two types of systems: thermostatic systems and port-Hamiltonian systems. Thermostatic systems are a simplification of thermodynamic systems, retaining only the information necessary to discuss equilibria. Port-Hamiltonian systems are a generalization of classical mechanical systems that allow for energy to flow in and out of a system. The theory we use to formalize the composition of both of these systems is the theory of operads and operad algebras, and we hope to demonstrate that this theory has rich application beyond our use of it, and thus is a promising future point of study.

The talk will give an overview of the thesis, and then follow the discussion of thermostatics in more detail.

If you happen to be in Utrecht, you can join at the Buys Ballot Gebouw (am I the only one who thinks this is a hilarious name?) in Utrecht Science Park, room BBG020.

You can also join via microsoft teams. You should be able to join without an account or downloading anything, if you open that link in Chrome or Microsoft Edge and then select the option to join in browser.

This website supports webmentions, a standard for collating reactions across many platforms. If you have a blog that supports sending webmentions and you put a link to this post, your blog post will show up as a response here. You can also respond via twitter or respond via mastodon (on your preferred mastodon server); through the magic of all tweets or toots with links to this post will show up below (subject to moderation).

Site proudly generated by Hakyll with stylistic inspiration from Tufte CSS