Codensity and Stone spaces
Category Theory
2016-08-09 v5
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.
Cite
@article{arxiv.1409.1370,
title = {Codensity and Stone spaces},
author = {Andrei Sipos},
journal= {arXiv preprint arXiv:1409.1370},
year = {2016}
}
Comments
To appear in Mathematica Slovaca