2000 character limit reached
Codensity and Stone spaces (1409.1370v5)
Published 4 Sep 2014 in math.CT
Abstract: We present a detailed computation of two codensity monads associated to two canonical functors -- the inclusion functor of FinSet into Top and the inclusion functor of the category of the powers of the Sierpinski space into Top. We show that the essential images of the two monads are the categories of Stone spaces and of sober spaces, respectively. A new motivation for defining these classes of spaces is therefore obtained.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.