Classifying anima of condensed $\infty$-categories of points

Abstract: 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.