2024/10/31 by Kaminski, Amos
#Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics
paper · doi:10.48550/arxiv.2410.24077
A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of π-finite spaces into pyknotic spaces, this paper uses the ∞-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.