BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2017/newsitem/9359/5-O
 ctober-2017-Colloquium-on-Mathematical-Logic-Alex-
 Simpson
DTSTAMP:20171002T134226
SUMMARY:Colloquium on Mathematical Logic, Alex Sim
 pson
ATTENDEE;ROLE=Speaker:Alex Simpson (Ljubljana)
DTSTART;TZID=Europe/Amsterdam:20171005T150000
DTEND;TZID=Europe/Amsterdam:20171005T160000
LOCATION:Room 610, Hans Freudenthal Building, Buda
 pestlaan 6, Uithof, Utrecht
DESCRIPTION:The atomic coverage (Grothendieck topo
 logy) is defined on any category that satisfies th
 e property that every cospan completes to a commut
 ing 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 "uni
 versal" way of completing cospans to commuting squ
 ares. 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 n
 ature.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The atomic cov
 erage (Grothendieck topology) is defined on any ca
 tegory that satisfies the property that every cosp
 an completes to a commuting square. This property 
 is sometimes called the right Ore condition. It is
  trivially satisfied by any category with pullback
 s. More generally, even in the absence of pullback
 s, there is often a &quot;universal&quot; way of c
 ompleting cospans to commuting squares. In the tal
 k I shall present examples of this situation, and 
 I shall discuss special properties of atomic topos
 es that arise from sites of this nature.</p>\n
URL:https://www.staff.science.uu.nl/~ooste110/semi
 nar.html
CONTACT:Benno van den Berg at bennovdberg at gmail
 .com
END:VEVENT
END:VCALENDAR