BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/10352/30
 -November-2018-Colloquium-on-Mathematical-Logic-Ma
 tias-Menni
DTSTAMP:20181126T132739
SUMMARY:Colloquium on Mathematical Logic, Matias M
 enni
ATTENDEE;ROLE=Speaker:Matias Menni
DTSTART;TZID=Europe/Amsterdam:20181130T153000
DTEND;TZID=Europe/Amsterdam:20181130T163000
LOCATION:Room 385, Buys Ballot Gebouw, Utrecht
DESCRIPTION:We give sufficient conditions on a top
 os for the existence of a Unity and Identity for t
 he subcategories of decidable objects and of doubl
 e negation sheaves, making them adjointly opposite
 . Typical examples of such a topos include many ‘g
 ros’ toposes in Algebraic Geometry, simplicial set
 s and other toposes of ‘combinatorial’ spaces in A
 lgebraic Topology, and certain models of Synthetic
  Differential Geometry.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We give suffic
 ient conditions on a topos for the existence of a 
 Unity and Identity for the subcategories of decida
 ble objects and of double negation sheaves, making
  them adjointly opposite. Typical examples of such
  a topos include many ‘gros’ toposes in Algebraic 
 Geometry, simplicial sets and other toposes of ‘co
 mbinatorial’ spaces in Algebraic Topology, and cer
 tain models of Synthetic Differential Geometry.</p
 >\n
URL:https://www.staff.science.uu.nl/~ooste110/semi
 nar.html
CONTACT:Benno van den Berg at B.vandenBerg3 at uva
 .nl
END:VEVENT
END:VCALENDAR