BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Stone Duality - Hugo Paquet (University of Cambridge)
DTSTART:20160311T110000Z
DTEND:20160311T120000Z
UID:TALK65110@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:I'll talk about a result from the 1930s known as "Stone's repr
 esentation theorem for Boolean algebras". It introduces a link between Boo
 lean algebras and a type of topological spaces called Stone spaces. In the
  language of category theory (which only appeared later)\, the result is t
 hat the category of Boolean algebras is equivalent to the opposite of the 
 category of Stone spaces. \n\nThis has been extended to other classes of t
 opological spaces and partially ordered sets\, and these results are now t
 ypically referred to as "Stone duality". In particular Stone duality has b
 een studied in the context of domain theory\, and I'll also mention some o
 f its applications to the semantics of programming languages.\n\nI'll defi
 ne all the necessary notions\, the only prerequisite is basic category the
 ory.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR