Please note that this newsitem has been archived, and may contain outdated information or links.
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 bennovdberg at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.