Universiteit van Amsterdam


Institute for Logic, Language and Computation

5 October 2017, Colloquium on Mathematical Logic, Alex Simpson

Speaker: Alex Simpson (Ljubljana)
Title: A family of atomic toposes
Date: Thursday 5 October 2017
Time: 15:00-16:00
Location: Room 610, Hans Freudenthal Building, Budapestlaan 6, Uithof, Utrecht

The atomic coverage (Grothendieck topology) is defined on any category that satisfies the property that every cospan completes to a commuting square. This property is sometimes called the right Ore condition. It is trivially satisfied by any category with pullbacks. More generally, even in the absence of pullbacks, there is often a "universal" way of completing cospans to commuting squares. In the talk I shall present examples of this situation, and I shall discuss special properties of atomic toposes that arise from sites of this nature.

For more information, see https://www.staff.science.uu.nl/~ooste110/seminar.html or contact Benno van den Berg at .