BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:∞-type theories and coherence problems - Taichi Uemura\, Univers
 ity of Stockholm
DTSTART:20221014T130000Z
DTEND:20221014T140000Z
UID:TALK184292@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:∞-type theories are a higher dimensional generalization of\n
 type theories introduced by Nguyen and the speaker\n(arXiv:2205.00798). Th
 e intended application is coherence problems\nin the higher categorical se
 mantics of type theories. We gave a\nclean formulation of a general cohere
 nce problem in the language of\n∞-type theories but only found a solutio
 n for a specific ∞-type\ntheory.\n\nIn this talk\, I will explain what 
 ∞-type theories are and how\ncoherence problems are formulated. I will a
 lso sketch a recent idea\nfor a solution to coherence problems at some lev
 el of generality\nusing normalization for ∞-type theories.
LOCATION:SS03
END:VEVENT
END:VCALENDAR