Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.