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
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.
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