4 papers
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…
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…
Towards solid abelian groups: A formal proof of Nöbeling's theorem
Dagur Asgeirsson
Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a t…
Palindromes in finite groups and the Explorer-Director game
Dagur Tómas Ásgeirsson, Pat Devlin
In this paper, we use the notion of twisted subgroups (i.e., subsets of group elements closed under the binary operation ) to provide the first structural charac…