Seminario: “Equilogical spaces, frames and a double-power monad”

Venerdì 10 Novembre 2017, ore 16:30 - Aula 2AB45 - Giulia Frosoni


Venerdì 10 Novembre 2017 alle ore 16:30 in Aula 2AB45, Giulia Frosoni (Università di Genova) terrà un seminario dal titolo “Equilogical spaces, frames and a double-power monad”.

The category Equ of equilogical spaces, introduced by Scott in 1996, provides a useful cartesian closed extension of the category of T_0 spaces and continuous maps. In this talk we investigate the monad of the double power of the Sierpinski space on the category of equilogical spaces and we analyze the algebras for this monad, pointing out a connection with the category of frames and frame homomorphisms. We also focus our attention on interesting subcategories of Equ, we restrict the double-power monad to them and we investigate the algebras in these cases. In particular, we introduce a full subcategory REqu of Equ, which turns out to be very relevant in the study of the double-power monad, and we outline conditions which relate the algebras in REqu with the category of sober spaces.