Explores whether applied category theory can be 'green' math and its potential applications in areas like epidemiology, artificial intelligence safety, and climate modeling, despite the challenges of applying abstract mathematics to complex real-world systems.
PARsing Mathematical Entities Search And Navigation: A tool to search for definitions and usage examples of mathematical concepts.
Prompted by these conversations, a subset of us eventually wrote a paper on the foundations of equilibrium thermodynamics:
John Baez, Owen Lynch and Joe Moeller, Compositional thermostatics.
John Baez, Owen Lynch and Joe Moeller, Compositional thermostatics.
