Please note that this newsitem has been archived, and may contain outdated information or links.
30 November 2018, Colloquium on Mathematical Logic, Matias Menni
Speaker: Matias Menni
Title: The Unity and Identity of Decidable objects and double negation sheaves
Date: Friday 30 November 2018
Time: 15:30-16:30
Location: Room 385, Buys Ballot Gebouw, Utrecht
We give sufficient conditions on a topos for the existence of a Unity and Identity for the subcategories of decidable 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 ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.
For more information, see
https://www.staff.science.uu.nl/~ooste110/seminar.html
or contact Benno van den Berg at B.vandenBerg3 at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.