Finding the Right Abstractions Summit 2021
Abstract: The creation of categorical logic has transformed both category theory and logic, blurring the traditional boundary between syntax and semantics and expanding the reach of logic to new application domains and kinds of semantics. Categorical logic offers a unifying, "plug-and-play" toolkit for understanding old logical systems and creating new ones. In this talk, we illustrate this principle through examples of categorical logic drawn from topics such as algebraic theories, bicategories of relations, graphical linear algebra, and statistical modeling.