SEMF | Philosophy of Counting: Cardinals and Ordinals | Andrea Sereni @SEMF | Uploaded September 2021 | Updated October 2024, 41 minutes ago.
Extract from "Counting Numbers, Counting Things" kindly contributed by Andrea Sereni in SEMF's 2021 Numerous Numerosity: semf.org.es/numerosity
Full talk: youtube.com/watch?v=g-6q_s6G54E
ANDREA SERENI
Scuola Universitaria Superiore Pavia (IUSS): http://www.iusspavia.it/home
IUSS Profile: http://www.iusspavia.it/en/-/facullty-andrea-sereni
ResearchGate: researchgate.net/scientific-contributions/Andrea-Sereni-21768644
Academia.edu: https://unisr.academia.edu/AndreaSereni
SEMF NETWORKS
Website: semf.org.es
Twitter: twitter.com/semf_nexus
LinkedIn: linkedin.com/company/semf-nexus
Instagram: instagram.com/semf.nexus
Facebook: facebook.com/semf.nexus
Extract from "Counting Numbers, Counting Things" kindly contributed by Andrea Sereni in SEMF's 2021 Numerous Numerosity: semf.org.es/numerosity
Full talk: youtube.com/watch?v=g-6q_s6G54E
ANDREA SERENI
Scuola Universitaria Superiore Pavia (IUSS): http://www.iusspavia.it/home
IUSS Profile: http://www.iusspavia.it/en/-/facullty-andrea-sereni
ResearchGate: researchgate.net/scientific-contributions/Andrea-Sereni-21768644
Academia.edu: https://unisr.academia.edu/AndreaSereni
SEMF NETWORKS
Website: semf.org.es
Twitter: twitter.com/semf_nexus
LinkedIn: linkedin.com/company/semf-nexus
Instagram: instagram.com/semf.nexus
Facebook: facebook.com/semf.nexus
![[Bad Audio] David Spivak | Applied Category Theory: Toward a Hard Science of Interdisciplinarity](https://i.ytimg.com/vi/hz58zG-W3qE/hqdefault.jpg "[Bad Audio] David Spivak | Applied Category Theory: Toward a Hard Science of Interdisciplinarity
Talk kindly contributed by David Spivak in SEMFs 2023 Interdisciplinary Summer School (https://semf.org.es/school2023)
Full session: https://www.youtube.com/watch?v sVFZv9tYdA
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, Ill explain how all this fits into a larger mathematical approach to interdisciplinarity.
DAVID SPIVAK
Personal Site: http://www.dspivak.net/
Topos Institute Profile: https://topos.site/people/owen-lynch/
SEMF NETWORKS
Website: https://semf.org.es
Twitter: https://twitter.com/semf_nexus
LinkedIn: https://www.linkedin.com/company/semf-nexus
Instagram: https://www.instagram.com/semf.nexus
Facebook: https://www.facebook.com/semf.nexus")
