{"id":"arxiv/2602.21330","url":"https://arxiv.org/abs/2602.21330","tags":["math.CT","math.AT"],"score":0,"title":"Classifying anima of condensed $\\infty$-categories of points","domain":"math.CT","source":"arxiv","authors":["Peter J. Haine"],"reviews":0,"subject":"math.CT","summary":"We compare the classifying anima of two natural condensed $\\infty$-categories associated to a coherent $\\infty$-topos. One from our work with Barwick and Glasman on exit-path categories in algebraic geometry, and the other from Lurie's work on ultracategories. The key consequence of our comparison is a connection between algebraic geometry and model theory: up to a mild completion, the proétale fundamental group of a scheme and the Lascar group of a complete first-order theory are both special cases of the same construction.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-24","reactions":{}}