[Bad Audio] David Spivak | Applied Category Theory: Toward a Hard Science of Interdisciplinarity 

Talk kindly contributed by David Spivak in SEMF's 2023 Interdisciplinary Summer School (semf.org.es/sc...)
Full session: • Interdisciplinary Summ...
TALK ABSTRACT
Effective interoperation between multiple scientific disciplines is crucial to systems engineering. Can the study of interoperability---the working negotiations and hand-offs between theories and models---itself be made into a hard science? Hard sciences are based on mathematics, so this would require a mathematics of interoperability, a mathematics whose subject consists of the bridges and analogies that make data- and model-integration actually work. I propose that category theory serves this purpose exceptionally well.
In this talk, I will give evidence for the above claim, and without assuming the audience has seen any category theory before. I will focus on operads, which offer a framework for various forms of compositionality. In particular, I will discuss how operads model the interconnection of dynamical systems, provide a new method for solving systems of nonlinear equations, and explain how these two issues are connected category-theoretically. Finally, I'll explain how all this fits into a larger mathematical approach to interdisciplinarity.
DAVID SPIVAK
Personal Site: www.dspivak.net/
Topos Institute Profile: topos.site/peo...
SEMF NETWORKS
Website: semf.org.es
Twitter: / semf_nexus
LinkedIn: / semf-nexus
Instagram: / semf.nexus
Facebook: / semf.nexus