BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Type theoretic approaches to semistrictness - Alex Rice (Universit
 y of Cambridge)
DTSTART:20231023T120000Z
DTEND:20231023T130000Z
UID:TALK206566@talks.cam.ac.uk
CONTACT:47138
DESCRIPTION:Throughout category theory\, it is often the case that objects
  should be considered up to isomorphism instead of up to equality. In high
 er dimensional theories\, this can be taken a step further by replacing eq
 uational laws (such as associativity of composition) by existence of a hig
 her dimensional equivalences. Such theories are called "weak"\, and while 
 they are more expressive they become much harder to work with\, motivating
  the search for "semistrict" definitions of higher categories.\n\nI will g
 ive a brief history of some of the motivations and results in this area\, 
 before explaining our work on using type theories to give semistrict defin
 itions of infinity categories. I will attempt to assume as little knowledg
 e as possible\, and rely on examples instead of any technical details.
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR