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 e-mail to: peter.arndt@uni-duesseldorf.de 

 

 SCHEDULE 
!!! This schedule is subject to change !!!

Keynote Speaker
Pierre Cartier
IHES - Institut des Hautes Etudes Scientifiques, Bures-sur-Yvette, 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 non-finitary 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, “Boole-Weyl 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