BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Some observations on cubical sets - Enrico Ghiorzi (University of 
 Cambridge)
DTSTART:20141120T140000Z
DTEND:20141120T150000Z
UID:TALK56350@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:Cubical sets are similar to simplicial sets\, but have squares
  and cubes in place of triangles and simplices. Recently\, they have becom
 e a popular topic in homotopy type theory. See for example "A cubical set 
 model of type theory" by Bezem\, Coquand and Huber (http://www.cse.chalmer
 s.se/~coquand/mod1.pdf).\n\nIn this talk I will show some observations on 
 cubical sets. Firstly\, I will briefly introduce (one of the many presenta
 tion of) cubical sets. Then I will show a construction producing categorie
 s out of cubical sets. By iterating the construction\, a (possibly new) st
 ructure arises naturally. Finally\, the category formed by these new objec
 ts is shown to be monadic over cubical sets.\n
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR