dc.rights.license | CC-BY-NC-ND | |
dc.contributor.advisor | Externe beoordelaar - External assesor, | |
dc.contributor.author | Lynch, Owen | |
dc.date.accessioned | 2022-07-13T00:00:53Z | |
dc.date.available | 2022-07-13T00:00:53Z | |
dc.date.issued | 2022 | |
dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/41725 | |
dc.description.abstract | 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. | |
dc.description.sponsorship | Utrecht University | |
dc.language.iso | EN | |
dc.subject | We describe the composition of both "thermostatic systems" (systems with a maximum entropy condition for equilibrium) and "port-Hamiltonian systems" (an open systems variant of Hamiltonian mechanics). Both of these can be composed with a single categorical mechanism: lax symmetric monoidal functors and operads. | |
dc.title | Relational Composition of Physical Systems: A Categorical Approach | |
dc.type.content | Master Thesis | |
dc.rights.accessrights | Open Access | |
dc.subject.keywords | category theory, systems theory, thermodynamics, applied category theory | |
dc.subject.courseuu | Mathematical Sciences | |
dc.thesis.id | 5424 | |