BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Category Theory Seminar
SUMMARY:Elementary embeddings for category theory - Andrew
Brooke-Taylor (University of Leeds)
DTSTART;TZID=Europe/London:20180313T141500
DTEND;TZID=Europe/London:20180313T151500
UID:TALK101131AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/101131
DESCRIPTION:Elementary embeddings do crop up in category theor
y\, but are often viewed as being simply convenien
t morphisms of the category in question. In set t
heory much more is made of them\, in particular in
the context of large cardinal axioms\, where elem
entary embeddings of the whole set-theoretic unive
rse are used to characterise the large cardinals.
In this talk I will show how some of the power of
elementary embeddings can be used in a category t
heory context. In particular\, I will use this pe
rspective in presenting a result with Joan Bagaria
\, in which we reduce the large cardinal assumptio
n required to show that a (definable) full embeddi
ng into an accessible category must preserve lambd
a-directed colimits for some lambda.
LOCATION:MR5\, Centre for Mathematical Sciences
CONTACT:Tamara von Glehn
END:VEVENT
END:VCALENDAR