
Categories and Logic
June 21, Afternoon & June 22, Morning
Workshop at
UNILOG'2018 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.
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 November 15, 2017 via email to:
peter.arndt@uniduesseldorf.de
 
SCHEDULE
!!! This schedule is subject to change !!!
Keynote Speaker
Pierre Cartier
IHES  Institut des Hautes Etudes Scientifiques, BuressurYvette, France
“A categorical presentation of probabilistic logic”
Ingo Blechschmidt
Dept of Mathematics Augsburg University, Germany
“Exploring the internal language of toposes”
Contributing Speakers
Matteo Acclavio,
LIX, INRIA, Saclay Research Centre, Paris, France,
“Proof Diagrams as Concurrent Syntax for Sequent Calculi”
Peter Arndt,
Hugo Luiz Mariano and
Darllan Conceição Pinto,
University of Düsseldorf, Germany,
University of São Paulo, Brazil and
Federal University of Bahia, Brazil,
“κfilter pairs and nonfinitary logics”
Andreas B.M.Brunner,
Darllan Conceição Pinto,
Samuel G.da Silva and
Hugo Luiz Mariano,
Federal University of Bahia, Brazil and
University of São Paulo, Brazil,
“Beyond the categorial forms of the Axiom of Choice”
Rafael Diaz,
School of Mathematics, National University of Colombia, Medellin, Colombia,
“BooleWeyl Algebras in a Categorical Context”
Dominique Duval,
Laboratoire Jean Kuntzmann, Grenoble Alpes University, France,
“Logical rules are fractions”
Jesse Han,
Department of Mathematics and Statistics, McMaster University, Hamilton, Ontario, Canada,
“Makkai duality, descent and definability”
Sina Hazratpour,
School of Computer Science, University of Birmingham, UK,
“Fibrations of contexts beget fibrations of toposes”
Caio de Andrade Mendes and
Hugo Luiz Mariano,
University of São Paulo, Brazil,
“An Abstract Approach to Algebraizable Logics with Quantifiers”
Francisco Antonio Vibrentis and
José Luis Castiglioni,
CONICET, Faculty of Exact Sciences, National University of La Plata, Argentina,
“Interchangeable formulas and categories of logics”
Felix Wellen,
Carnegie Mellon University, Pittsburgh, USA,
“Differential Geometry in Modal Type Theory”
William Zuluaga,
CONICET, National University of Cordoba, Argentina,
“A Pierce representation theorem for varieties with BFC”
Back to the 6th Universal Logic Congress
