Algebra, Categories and Models - Reading Group

There is also some logic involved, if one really insists. Organized by Rodrigo Almeida and Lingyuan Ye .


This reading group is centered on reading the book “Sheaves, Games and Model Completions”. The goal is to understand some of the central techniques exploited by the authors, especially Ghilardi, in proving and reproving some key theorems of non-classical logic: Pitts’ uniform interpolation theorem; the non-uniform interpolation of S4; Ruitenburg’s theorem; the Finitarity of Unification of IPC, S4, and other systems; the structure of algebras of truth-values in Elementary Toposes; amongst others. Since many of these topics are active areas of research, the focus of the reading group will be on topics immediately relevant to the participants’ interests and research specializations. Every two weeks we will meet with a presentation, which will give an overview of the reading material for those two weeks. Reading material will be updated regularly here at the end of each session.

Our first focus will be on getting the basic concepts of the field, before moving on to the key concepts:

  1. Free, Finitely Generated and Finitely Presented Algebras
  2. Congruence Properties, Amalgamation Properties
  3. Model Completions
  4. R-Regular Categories and R-Heyting Categories
  5. Heyting Algebras and the structure of Finitely Presented Heyting Algebras


Silvio Ghilardi, Marek Zawadowski. (2002). Sheaves, Games and Model Completions: A Categorical approach to Non-classical Propositional Logics.

Meeting Schedule

We meet bi-weekly. Meetings are in person in SP107.

Date Speaker Topic Reading Material Location Time
23/10/2023 Lide Grotenhuis Kick-Off Meeting: Introductions. Basic Motivations. Uniform Interpolation and Model Completions. Definition of Model Completion and Examples. Introduction. Preliminary Notions (pp.15-30). F2.11 11h00-13h00
06/11/2023 Daniel Otten Regular and R-Regular Categories: Motivations and Examples. Section 3.1 (Model Completions - R-Heyting Categories) (pp.49-60). F2.11 11h00-13h00
21/11/2023 Lingyuan Ye R-Heyting Categories, Model Completions from R-Heyting Categories. Section 3.2 (Model Completions and Finitely Presented Algebras) (pp.56-64). F2.11 11h00-13h00