Classifying spaces and the Lascar group
Logic
2023-06-22 v2 Algebraic Topology
Category Theory
Abstract
We show that the Lascar group of a first order theory is naturally isomorphic to the fundamental group of the classifying space of the category of models of 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