REVIEW 1 cited by
Condensed Mathematics: The internal Hom of condensed sets and condensed abelian groups and a prismatic construction of the real numbers
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
We give an overview of the basic definitions of condensed categories, as well as the internal Hom of condensed abelian groups. We give a construction for the internal Hom of condensed sets and apply it to obtain a new proof of a theorem of Clausen and Scholze. Finally, we give a detailed account of a construction of the real numbers from discrete spaces, which is an intermediate step of a theorem by Clausen and Scholze.
Forward citations
Cited by 1 Pith paper
-
Infinitary combinatorics in condensed math and strong homology
Higher derived limits of the systems A_kappa_lambda are shown to control non-fullness, non-additivity of strong homology, and non-compactness of products of compact projective condensed anima.
Discussion (0). Continue with ORCID to comment.