Classifying spaces and the Lascar group [article]

Tim Campion, Greg Cousins, Jinhe Ye
2021 arXiv   pre-print
We show that the Lascar group Gal_L(T) of a first order theory T is naturally isomorphic to the fundamental group π_1(|Mod(T)|) of the classifying space of the category of models of T and elementary embeddings.
arXiv:1808.04915v2 fatcat:nt75jzc725ejnberbhvdcjn5im