English

Classifying spaces and the Lascar group

Logic 2023-06-22 v2 Algebraic Topology Category Theory

Abstract

We show that the Lascar group GalL(T)\operatorname{Gal}_L(T) of a first order theory TT is naturally isomorphic to the fundamental group π1(Mod(T))\pi_1(|\operatorname{Mod}(T)|) of the classifying space of the category of models of TT and elementary embeddings.

Cite

@article{arxiv.1808.04915,
  title  = {Classifying spaces and the Lascar group},
  author = {Tim Campion and Greg Cousins and Jinhe Ye},
  journal= {arXiv preprint arXiv:1808.04915},
  year   = {2023}
}

Comments

21 pages

R2 v1 2026-06-23T03:34:03.787Z