BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Category Theory Seminar
SUMMARY:Equilogical spaces and algebras for a double-power
monad - Giulia Frosoni (University of Genoa)
DTSTART;TZID=Europe/London:20171024T141500
DTEND;TZID=Europe/London:20171024T151500
UID:TALK89251AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/89251
DESCRIPTION:The category Equ of equilogical spaces was introdu
ced by Scott in 1996 and it provides a useful cart
esian closed extension of the category of T_0 spac
es and continuous maps. In this talk we will inves
tigate the monad of the double power of the Sierpi
nski space on the category of equilogical spaces a
nd we will analyse the algebras for this monad\, p
ointing out a connection with the category of fram
es and frame homomorphisms. Moreover\, we focus ou
r attention on particular subcategories of Equ\, w
e restrict the double-power monad to them and we i
nvestigate the algebras for this monad in these ca
ses. In particular\, we introduce a full subcatego
ry REqu of Equ which turns out to be very relevant
in the study of the double-power monad and we rel
ate the algebras in this category with the categor
y of sober spaces.
LOCATION:MR5\, Centre for Mathematical Sciences
CONTACT:Tamara von Glehn
END:VEVENT
END:VCALENDAR