BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Lab Lunch
SUMMARY:A monad of valuation locales II - Dr Steve Vickers
(School of Computer Science\, University of Birmi
ngham)
DTSTART:20111011T110000Z
DTEND:20111011T120000Z
UID:TALK685AT
URL:/talk/index/685
DESCRIPTION:If X is a locale then its valuation locale has for
its points the\nvaluations on X. This constructio
n is the functor part of a strong monad\non the ca
tegory of locales\, a localic analogue of the Giry
monad. It is\ncommutative\, i.e. product valuatio
ns exist and a Fubini Theorem holds.\nAn analogue
of the Riesz Representation theorem holds. Concret
e\nrepresentations are given for the tensor produc
t of lattices and for the\nmodular monoid. The wor
k conforms with the constructive constraints of\ng
eometric logic.
LOCATION:CS 124
CONTACT:Dan Ghica
END:VEVENT
END:VCALENDAR