University of Cambridge > > Logic & Semantics for Dummies > Stone Duality

Stone Duality

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Ian Orton.

I’ll talk about a result from the 1930s known as “Stone’s representation theorem for Boolean algebras”. It introduces a link between Boolean algebras and a type of topological spaces called Stone spaces. In the language of category theory (which only appeared later), the result is that the category of Boolean algebras is equivalent to the opposite of the category of Stone spaces.

This has been extended to other classes of topological spaces and partially ordered sets, and these results are now typically referred to as “Stone duality”. In particular Stone duality has been studied in the context of domain theory, and I’ll also mention some of its applications to the semantics of programming languages.

I’ll define all the necessary notions, the only prerequisite is basic category theory.

This talk is part of the Logic & Semantics for Dummies series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2024, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity