BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7743@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160929T110000
DTEND;TZID=Europe/Paris:20160929T120000
DTSTAMP:20241120T204818Z
URL:https://www.i2m.univ-amu.fr/evenements/on-some-toposes-of-topological-
 setoids/
SUMMARY:Fabio Pasquali (IRIF\, Université de Paris): On some toposes of to
 pological setoids
DESCRIPTION:Fabio Pasquali: By “category topological setoids” we mean a
  category whose objects are pairs (A\,R) where A is a topological space an
 d R is an equivalence relation on the set of points of A and whose arrows 
 are (suitable classes) of continuous functions that preserve the equivalen
 ce relations. One know example of such a category is the cartesian closed 
 category of Scott’s equilogical spaces which is the largest category of 
 topological setoids whose underling space is T0.\nIn this talk we comment 
 on other categories of topological spaces which are elementary toposes. We
  shall focus on a particular one (which is based on compact spaces and clo
 sed equivalence relations) and we prove that this category is a complete t
 opos. The main techniques that we shall employ come from the theory of tri
 poses and the theory of the quotient completions of triposes\, which was i
 ntroduced by Rosolini and Maietti in order to generalize Carboni's exact c
 ompletion of a left exact category.\n\nhttp://www.irif.univ-paris-diderot.
 fr/users/fabiop/index
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20160327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR