Ross Willard, Department of Pure Mathematics, University of Waterloo
"Stone duality revisited: hom functors"
Let B be a Boolean algebra and X a Stone space. Today I’ll show how Hom(B,2) naturally has the structure of a Stone space and Hom(X,2) naturally has the structure of a Boolean space. In particular, Hom(Hom(B,2),2) is isomorphic to B.