Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Condensed mathematics of Clausen and Scholze. Closely related to the pyknotic mathematics of Barwick and Haine.
21
votes
Accepted
What intuitive notion is formalized by condensed mathematics?
Condensed sets axiomatize the notion of convergence rather than the notion of neighborhoods. Unlike topological spaces, they allow a sequence to converge "for multiple different reasons". This is simi …
4
votes
What intuitive notion is formalized by condensed mathematics?
$
\newcommand{\N}{\mathbb N}
\newcommand{\R}{\mathbb R}
\newcommand{\~}{\tilde}
\newcommand{\O}{\mathcal O}
\newcommand{\Set}{\mathrm{Set}}
\newcommand{\Top}{\mathrm{Top}}
\newcommand{\iso}{\xrightarr …