Categories and Logic

Workshop organized by

Peter Arndt
(University of Düsseldorf, Germany)

Category theory and logic interact in many ways. Category theory is used as a general organizational tool for the structures arising in logic, specifically in the study of categories of logics and translations, but also in other ways, via categorical semantics and internal languages of categories, syntactic categories, categorical foundations of mathematics and their relation to set theoretic foundations.

Keynote Speaker

Ingo Blechschmidt
University of Augsburg, Germany

Call for papers

We invite contributions on all interactions of category theory and logic. Topics include:

• Categorical semantics (e.g. topos theory, linear logic, type theory)
• Topos theory (also in its not primarily logical aspects)
• Categorical structures arising in logic (e.g. display categories, dagger categories, fibrations)
• Classes of categories arising in logic (e.g. accessible categories, locally presentable categories)
• Particular categories arising in logic (e.g. categories of logics and translations, particular quasivarieties)
• Institution theory
• Categorical algebra for algebraic logic
• Category theoretic accounts of model theoretic constructions (e.g. of ultraproducts, elementary classes)
• Category theoretic foundations for mathematics

Abstracts (one page) should be sent by October 5, 2017 via e-mail to: peter.arndt@uni-duesseldorf.de