Categorical Model Theory Reading Group

Seminars and Reading Groups

A quest to read Christian Espindola’s paper.
Coordination: Rodrigo N. Almeida , Lingyuan Ye.


Description

This reading group, framed as a quest to understand Espindola’s attack on Shelah’s eventual categoricty conjecture, is focused on the study of categorical model theory. The key focus for now will be on the categoricity conjecture. We will begin by exploring this setting in the more or less classical setting of classes of models of model-theoretic logics and abstract elementary classes, to understand the nature of the conjecture, before moving on to the category theoretic generalizations. Our goal will be to get a solid grounding in the kinds of tools that are used to work in this area: categorical logic; topos-theoretic completeness; infinitary completeness theorems; amongst others.

Importantly, we are not sure we will complete our quest, and that is not really the point.

Our preliminary topic schedule will be as follows:

  1. Stability Theory, Categoricity and Abstract Elementary Classes
  2. Accessible Categories and Model Theory
  3. Categorical Logic
  4. Topos Theoretic Completeness

Please contact us for access to the slack group.

References

Christian Espindola’s works.
Rami Grossberg, (1991) Classification Theory for Abstract Elementary Classes.
Michael Makkai, Robert Pare (1989) Accessible categories: The foundations of categorical model theory.
Michael Makkai, Gonzalo Reyes (1977) First-order categorical logic.
Saunders MacLane, Ieke Moerdijk. (1992) Sheaves in Geometry and Logic.
Jiri Adamek, Jiri Rosicky. (1999) Locally Presentable and Accessible Categories.

As of 20/10/2023, this group has been suspended. The participants have continued with the reading group with a different focus, on algebras, categories and models.

We have compiled some preliminary notes resulting from our meetings, and serving as a guide to the literature. You can find them here.

Meeting Schedule

We meet bi-weekly. Meetings are in person in SP904. We also set up hybrid participation, via this link:

DateSpeakerTopicLocationTime
06/02/2023N/AKick-Off Meeting: Introductions. Basic Motivation for the quest. Scheduling.A1.0411h00-13h00
20/02/2023Tibo RushbrookeStability Theory, Categoricity and Abstract Elementary ClassesF2.01 (ILLC)11h00-13h00
6/03/2023Alyssa Reynaldi and Alexander LindAccessible Categories and Model TheoryF2.01 (ILLC)11h00-13h00
20/03/2023Davide PerintiCategorical LogicF2.01 (ILLC)11h00-13h00
03/04/2023Lingyuan YeTopos Theory and Logic: Duality and CompletenessF2.01 (ILLC)11h15-13h00
17/04/2023Jan RooduijnGrothendieck Toposes and Classifying ToposesF2.01 (ILLC)11h15-13h00
25/04/2023Rodrigo AlmeidaInfinitary Logic: Omitting Types, Completeness and Distributive LawsF2.01 (ILLC)11h15-13h00
15/05/2023Jonas van der SchaafTrees and the Transfinite Transitivity RuleF2.01 (ILLC)11h15-13h00