Affiliation:
1. Topos Institute, Berkeley, CA, USA
2. Georgia Tech Research Institute, Atlanta, GA, USA
3. University of Florida, Gainesville, FL, USA
Abstract
<abstract><p>Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm mathematical footing, while also systematizing a broadly applicable framework to reason formally about systems of equations and their solutions. Our main mathematical tools are category-theoretic diagrams, which are well known, and morphisms between diagrams, which have been less appreciated. As an application of the diagrammatic framework, we show how complex, multiphysical systems can be modularly constructed from basic physical principles. A wealth of examples, drawn from electromagnetism, transport phenomena, fluid mechanics, and other fields, is included.</p></abstract>
Publisher
American Institute of Mathematical Sciences (AIMS)
Subject
Applied Mathematics,Mathematical Physics,Analysis
Reference83 articles.
1. R. Abraham, J. E. Marsden, T. Ratiu, Manifolds, tensor analysis, and applications, 2 Eds., New York, NY: Springer, 1988. http://doi.org/10.1007/978-1-4612-1029-0
2. P. Alotto, F. Freschi, M. Repetto, Multiphysics problems via the cell method: The role of Tonti diagrams, IEEE Trans. Magn., 46 (2010), 2959–2962. http://doi.org/10.1109/TMAG.2010.2044487
3. M. Arkowitz, Introduction to homotopy theory, New York, NY: Springer, 2011. http://doi.org/10.1007/978-1-4419-7329-0
4. J. Baez, J. P. Muniain, Gauge fields, knots and gravity, World Scientific, 1994. https://doi.org/10.1142/2324
5. J. Baez, M. Stay, Physics, topology, logic and computation: a Rosetta Stone, In: New structures for physics, Berlin, Heidelberg: Springer, 2010, 95–172. http://doi.org/10.1007/978-3-642-12821-9_2
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献