BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sattler model structures - Nicola Gambino (University of Leeds)
DTSTART:20180118T100000Z
DTEND:20180118T110000Z
UID:TALK98842@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:I will give an overview of Christian Sattler’s paper "The Eq
 uivalence Extension Property and Model Structures” (arXiv:1704.06911)\, 
 in which he introduces a new method to define Quillen model structures on 
 Grothendieck toposes. This method can be applied to give a new elementary 
 proof of the model structure for Kan complexes and to exhibit a previously
  unknown model structure on the category of cubical sets studied by Coquan
 d and his collaborators. A key aspect is the so-called equivalence extensi
 on property\, which expresses a form of Voevodsky’s univalence axiom.
LOCATION:MR11\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR