Timeline for Uniform spaces as condensed sets
Current License: CC BY-SA 4.0
4 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 25, 2021 at 8:32 | comment | added | Peter Scholze | Hmm, I think I don't really follow what you are after. Sorry! | |
Mar 24, 2021 at 22:01 | comment | added | Z. M | I am not sure how to make "thickenings" precise. A naive way is to do in Pro(CHaus). But if we consider the Gelfand transform, I am incapable to determine whether ind-C*-algebra would be the correct object to consider (due to my ignorance of functional analysis). | |
Mar 24, 2021 at 21:56 | comment | added | Z. M | I am skeptical about specifying subsets of which the logic is quite the same as specifying open subsets to define a topology. Here's my two cents: note that the similarity between the uniform structure and the stratification for crystalline site, given a condensed set $X$, I would consider the site of $K\to X$ along with a "thickening" $K\to K'$, and the uniformity might be a crystal over this site. I have less intuition on Cauchy filter, which might be realized as a kind of "stable under specialization". | |
Mar 24, 2021 at 20:10 | history | answered | Peter Scholze | CC BY-SA 4.0 |