BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/10352/30-November-2018-Colloquium-on-Mathematical
-Logic-Matias-Menni
DTSTAMP:20181126T132739
SUMMARY:Colloquium on Mathematical Logic, Matias M
enni
ATTENDEE;ROLE=Speaker:Matias Menni
DTSTART:20181130T153000
DTEND: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.

\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