Topos Institute - Towards a Research Program on Compositional World-Modeling
In this post, we lay out a vision and challenge for using category theory to build tools for understanding systems at a global scope. In scientific applications (biology, ecology, epidemiology, chemistry, physics, economics, etc.) and related engineering domains, full modeling of a complex system frequently involves the following considerations: Multi-disciplinarity. Problems may show up in a certain domain that cannot be solved with the customary mathematical tools and software frameworks of that domain, and the mathematical, scientific, technical, and cultural assumptions of another scientific domain may be illegible from the perspective of the original domain. For instance, modeling hydraulic systems often involves both rigid body physics and fluid physics. Openness. One is not always lucky enough that one part of the world can be fully isolated from the rest. Rather, systems tend to have interfaces or boundaries, on which (and beyond which) one’s model does not make endogenous pred
Towards a Research Program on Compositional World-Modeling – Topos Institute 1 The problem In scientific applications (biology, ecology, epidemiology, chemistry, physics, economics, etc.) and related engineering domains, full modeling of a complex system frequently involves the following considerations: Multi-disciplinarity . Problems may show up in a certain domain that cannot be solved with the customary mathematical tools and software frameworks of that domain, and the mathematical, scientific, technical, and cultural assumptions of another scientific domain may be illegible from the perspe
Explore this link on the map →saved by
related reading
- Towards a Research Program on Compositional World-Modeling – Topos Institutetopos.site
- [2406.17583] Towards Compositional Interpretability for XAIarxiv.org
- [2105.12282] Operadic Modeling of Dynamical Systems: Mathematics and Computationarxiv.org
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Category Theory on Math3mamath3ma.com
- The Behavioral Approach to Systems Theory | The n-Category Cafégolem.ph.utexas.edu
- What is Category Theory Anyway?math3ma.com
- Shtetl-Optimized >> Blog Archive >> The First Law of Complexodynamicsscottaaronson.blog
- Azimuth Project News | The n-Category Cafégolem.ph.utexas.edu
- Categories for AIcats.for.ai
- Infinity Category Theory Offers a Bird's-Eye View of Mathematics | Scientific Americanscientificamerican.com
- A Functional Taxonomy of World Models - Dr. Fei-Fei Lidrfeifei.substack.com