BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9359/5-October-2017-Colloquium-on-Mathematical-Lo
gic-Alex-Simpson
DTSTAMP:20171002T134226
SUMMARY:Colloquium on Mathematical Logic, Alex Sim
pson
ATTENDEE;ROLE=Speaker:Alex Simpson (Ljubljana)
DTSTART:20171005T150000
DTEND: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 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 "universal" 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.

\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