Showing math.CTShow all
2 papers · 1 filter
math.CT2024
A formal characterization of discrete condensed objects
Dagur Asgeirsson
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept o…
math.CT2024
Categorical Foundations of Formalized Condensed Mathematics
Dagur Asgeirsson, Riccardo Brasca, Nikolas Kuhn +2
Condensed mathematics, developed by Clausen and Scholze over the last few years, proposes a generalization of topology with better categorical properties. It replaces the concept o…