All Questions
1 question
9
votes
1
answer
2k
views
What does the topos of (light) condensed sets classify?
Recall that $\mathrm{Pro}(\mathbf{FinSet}) = *_{\text{proét}}$, the category of profinite sets, forms a site with finite jointly surjective families as covers, and that the category of sheaves on this ...
- 1,094