Toward Formalizing Scientific Theories and Models Using Categorical Logic

Explore the intersection of scientific theories, models, and categorical logic in this 57-minute conference talk by Evan Patterson from the Topos Institute. Delve into the potential for formalizing scientific concepts using advanced mathematical frameworks as part of Chapman University's inaugural Doctor of Science program conference. Gain insights from a world-renowned researcher in the fields of Mathematics and Philosophy of Science as he discusses innovative approaches to understanding and representing complex scientific ideas. Learn how categorical logic can be applied to enhance the precision and rigor of scientific theories and models across various disciplines.

Evan Patterson (Topos Inst.): Toward Formalizing Scientific Theories/Models Using Categorical Logic