Classifying anima of condensed $\infty$-categories of points
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.21330
curl -X POST /api/v1/records/arxiv/2602.21330/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.21330/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'