BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Internal homotopy theory via classical completeness - Zhen Lin Low
 \, DPMMS
DTSTART:20140506T131500Z
DTEND:20140506T141500Z
UID:TALK52406@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:There is a well-established homotopy theory of simplicial obje
 cts in a Grothendieck topos\, and folklore says that the weak equivalences
  are axiomatisable in the geometric fragment of L_{ω_1\, ω}. It is in fa
 ct a theory of presheaf type\, i.e. classified by a presheaf topos. Along 
 the way\, we will see how to apply classical completeness theorems to cons
 truct the homotopy theory of internal Kan complexes in any regular categor
 y.\n
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR