BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Displayed categories - Benedikt Ahrens (INRIA Nantes)
DTSTART:20161101T141500Z
DTEND:20161101T151500Z
UID:TALK68628@talks.cam.ac.uk
CONTACT:Tamara von Glehn
DESCRIPTION:Displayed categories formalize the activity of building new ca
 tegories from old ones by considering `objects with structure'.\nThey also
  allow one to give a simple definition of fibration without referring to e
 quality of objects.\nIn my talk\, I develop some `displayed category theor
 y'. I then give some use cases: first\, the construction of an equivalence
  of categories between cwf structures and split type structures\, and seco
 nd\, a proof of the Structure Identity Principle using displayed category 
 theory.\nAfterwards I discuss the definition of fibrations in terms of dis
 played\ncategories.\nThis is joint work with Peter Lumsdaine.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR