Compositional Thermostatics

At the Topos Institute this summer, a group of folks started talking about thermodynamics and category theory. It probably started because Spencer Breiner and my former student Joe Moeller, both working at NIST, were talking about thermodynamics with some people there. But I’ve been interested in thermodynamics for quite a while now, and Owen Lynch, a grad student visiting from the University of Utrecht, wants to do his master thesis on this subject. And Sophie Libkind, David Spivak and Dav...